From 8e420de8ecec22d77e177da2c38b6b67f350d921 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Mon, 23 Jan 2012 15:32:11 +0100 Subject: [PATCH] Fixed wrong code for postcondition in unset_orig_path_info --- library/server/ewsgi/src/helper/wgi_request_from_table.e | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/library/server/ewsgi/src/helper/wgi_request_from_table.e b/library/server/ewsgi/src/helper/wgi_request_from_table.e index d170438d..8570682d 100644 --- a/library/server/ewsgi/src/helper/wgi_request_from_table.e +++ b/library/server/ewsgi/src/helper/wgi_request_from_table.e @@ -314,7 +314,7 @@ feature {NONE} -- Element change: CGI meta parameter related to PATH_INFO orig_path_info := Void unset_meta_variable ({WGI_META_NAMES}.orig_path_info) ensure - unset: attached meta_variable ({WGI_META_NAMES}.orig_path_info) + unset: meta_variable ({WGI_META_NAMES}.orig_path_info) = Void end update_path_info @@ -409,7 +409,7 @@ invariant empty_string_unchanged: empty_string.is_empty note - copyright: "2011-2011, Eiffel Software and others" + copyright: "2011-2012, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software