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

fixed typo

Browse Source
This commit is contained in:
Jocelyn Fiat
2011-09-26 17:19:37 +02:00
parent 738eb7555f
commit df59ae579b
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -638,7 +638,7 @@ feature -- Cookies
deferred deferred
end end
feature -- Access: global variable feature -- Access: all variables
parameters: like items parameters: like items
obsolete "use items" obsolete "use items"

3
library/server/ewsgi/src/application/wgi_application.e
View File

@@ -16,14 +16,13 @@ feature -- Execution
execute (req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER) execute (req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER)
-- Execute the request -- Execute the request
-- See `req.input' for input stream -- See `req.input' for input stream
-- `req.environment' for the Gateway environment -- `req.meta_variables' for the CGI meta variable
-- and `res' for output buffer -- and `res' for output buffer
require require
res_status_unset: not res.status_is_set res_status_unset: not res.status_is_set
deferred deferred
ensure ensure
res_status_set: res.status_is_set res_status_set: res.status_is_set
-- res_committed: res.message_committed
end end
feature -- Process request feature -- Process request