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