backup/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed wrong code for postcondition in unset_orig_path_info

Browse Source
This commit is contained in:
Jocelyn Fiat
2012-01-23 15:32:11 +01:00
parent 6dc1c0d2b0
commit 8e420de8ec
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
library/server/ewsgi/src/helper/wgi_request_from_table.e
View File

@@ -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