From e0ec84611eb5c234256d546639604ef1e0f8eeb7 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 25 Nov 2011 19:21:45 +0100 Subject: [PATCH] Applied recent renaming from WGI_RESPONSE_BUFFER as WGI_RESPONSE --- library/server/ewsgi/examples/hello_world/src/hello_world.e | 2 +- library/server/ewsgi/specification/response/wgi_response.e | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/library/server/ewsgi/examples/hello_world/src/hello_world.e b/library/server/ewsgi/examples/hello_world/src/hello_world.e index d0fd4d36..510f3386 100644 --- a/library/server/ewsgi/examples/hello_world/src/hello_world.e +++ b/library/server/ewsgi/examples/hello_world/src/hello_world.e @@ -18,7 +18,7 @@ feature {NONE} -- Initialization (create {NINO_SERVICE}.make_custom (agent execute, "")).listen (port_number) end - execute (req: WGI_REQUEST; res: WGI_RESPONSE_BUFFER) + execute (req: WGI_REQUEST; res: WGI_RESPONSE) do res.write_header (200, <<["Content-Type", "text/plain"]>>) res.write_string ("Hello World!%N") diff --git a/library/server/ewsgi/specification/response/wgi_response.e b/library/server/ewsgi/specification/response/wgi_response.e index 993be799..b97ee1ef 100644 --- a/library/server/ewsgi/specification/response/wgi_response.e +++ b/library/server/ewsgi/specification/response/wgi_response.e @@ -34,7 +34,7 @@ feature -- Status report deferred end -feature {WGI_RESPONSE_BUFFER} -- Core output operation +feature {WGI_RESPONSE} -- Core output operation write (s: READABLE_STRING_8) -- Send the string `s'