updated WGI specification

2011-11-25 18:25:50 +01:00
parent c89ccfa768
commit 2234d3712b
1 changed files with 1 additions and 1 deletions
--- a/library/server/ewsgi/specification/wgi_service.e
+++ b/library/server/ewsgi/specification/wgi_service.e
@@ -10,7 +10,7 @@ deferred class

 feature {NONE} -- Execution

-	execute (req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER)
+	execute (req: WGI_REQUEST; res: WGI_RESPONSE)
 			-- Execute the request
 			-- See `req.input' for input stream
 			--     `req.environment' for the Gateway environment