From 3e73298806d4c22cb13ac93ed91c12c00d9a0313 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 13 Jul 2011 16:25:17 +0200 Subject: [PATCH] cosmetic --- library/server/ewsgi/src/response/gw_response.e | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/library/server/ewsgi/src/response/gw_response.e b/library/server/ewsgi/src/response/gw_response.e index b53db8e5..6dd09407 100644 --- a/library/server/ewsgi/src/response/gw_response.e +++ b/library/server/ewsgi/src/response/gw_response.e @@ -7,13 +7,21 @@ note deferred class GW_RESPONSE -feature -- Access: Input/Output +feature -- Access: Output output: GW_OUTPUT_STREAM -- Server output channel deferred end + send_header + -- Send `header' to `output'. + do + header.send_to (output) + end + +feature -- Header + header: GW_HEADER -- Header for the response deferred