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

Fixed issues in WGI_REQUEST's invariant

Browse Source 
Fixed issues with guessing the default format for REST handling
Fixed issue with .._ROUTING_.. component.
This commit is contained in:
Jocelyn Fiat
2011-09-16 20:59:06 +02:00
parent 111812c4e9
commit b3ef7c846b
5 changed files with 17 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
library/server/ewsgi/specification/request/wgi_request.e
View File

@@ -96,6 +96,16 @@ feature -- Access: CGI meta variables
deferred
end
meta_string_variable (a_name: READABLE_STRING_GENERAL): detachable READABLE_STRING_32
-- Environment variable related to `a_name'
require
a_name_valid: a_name /= Void and then not a_name.is_empty
do
if attached meta_variable (a_name) as val then
Result := val.as_string
end
end
meta_variables: ITERATION_CURSOR [WGI_VALUE]
-- These variables are specific to requests made with HTTP.
-- Interpretation of these variables may depend on the value of
@@ -687,10 +697,10 @@ invariant
query_string_attached: query_string /= Void
remote_addr_attached: remote_addr /= Void
same_orig_path_info: orig_path_info ~ meta_variable ({WGI_META_NAMES}.orig_path_info)
same_path_info: path_info ~ meta_variable ({WGI_META_NAMES}.path_info)
same_orig_path_info: orig_path_info ~ meta_string_variable ({WGI_META_NAMES}.orig_path_info)
same_path_info: path_info ~ meta_string_variable ({WGI_META_NAMES}.path_info)
path_info_identical: path_info ~ meta_variable ({WGI_META_NAMES}.path_info)
path_info_identical: path_info ~ meta_string_variable ({WGI_META_NAMES}.path_info)
note
copyright: "2011-2011, Eiffel Software and others"