From 900ed8baea6cdb84673860a68ed57360a0130713 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 5 Oct 2011 14:46:39 +0200 Subject: [PATCH] remove pre_execute, and post_execute, and make process_request frozen this way, the user won't be tempted to redefine feature not being part of pure EWSGI interface. --- library/server/ewsgi/src/wgi_application.e | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/library/server/ewsgi/src/wgi_application.e b/library/server/ewsgi/src/wgi_application.e index 19386f69..e7c1849c 100644 --- a/library/server/ewsgi/src/wgi_application.e +++ b/library/server/ewsgi/src/wgi_application.e @@ -27,16 +27,14 @@ feature -- Execution feature -- Process request - process (req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER) + frozen process (req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER) -- Process request with environment `env', and i/o streams `a_input' and `a_output' local rescued: BOOLEAN do if not rescued then request_count := request_count + 1 - pre_execute (req) execute (req, res) - post_execute (req, res) else rescue_execute (req, res, (create {EXCEPTION_MANAGER}).last_exception) end @@ -52,16 +50,6 @@ feature -- Access feature {NONE} -- Execution - pre_execute (req: WGI_REQUEST) - -- Operation processed before `execute' - do - end - - post_execute (req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER) - -- Operation processed after `execute', or after `rescue_execute' - do - end - rescue_execute (req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER; a_exception: detachable EXCEPTION) -- Operation processed on rescue of `execute' do @@ -71,7 +59,6 @@ feature {NONE} -- Execution res.write_header ({HTTP_STATUS_CODE}.internal_server_error, Void) res.write_string ("
" + l_trace + "
") end - post_execute (req, res) end ;note