From a278537f7bffad71d03ed09bebc529f8d8fd8ba2 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 29 Jul 2011 10:50:24 +0200 Subject: [PATCH] Added "flush" to the EWSGI_RESPONSE_STREAM --- .../ewsgi/specification/response/ewsgi_response_stream.e | 5 +++++ library/server/ewsgi/src/response/gw_buffered_response.e | 5 +++++ library/server/ewsgi/src/response/gw_in_memory_response.e | 5 +++++ library/server/ewsgi/src/response/gw_response_stream_imp.e | 5 +++++ 4 files changed, 20 insertions(+) diff --git a/library/server/ewsgi/specification/response/ewsgi_response_stream.e b/library/server/ewsgi/specification/response/ewsgi_response_stream.e index 00c52560..ce06c852 100644 --- a/library/server/ewsgi/specification/response/ewsgi_response_stream.e +++ b/library/server/ewsgi/specification/response/ewsgi_response_stream.e @@ -49,6 +49,11 @@ feature -- Status setting feature -- Output operation + flush + -- Flush if it makes sense + deferred + end + write_string (s: STRING) -- Send the string `s' require diff --git a/library/server/ewsgi/src/response/gw_buffered_response.e b/library/server/ewsgi/src/response/gw_buffered_response.e index 047b35cd..e0178d13 100644 --- a/library/server/ewsgi/src/response/gw_buffered_response.e +++ b/library/server/ewsgi/src/response/gw_buffered_response.e @@ -81,6 +81,11 @@ feature -- Status setting feature -- Output operation + flush + do + flush_buffer + end + write_string (s: STRING) -- Send the string `s' do diff --git a/library/server/ewsgi/src/response/gw_in_memory_response.e b/library/server/ewsgi/src/response/gw_in_memory_response.e index b46b9ee7..7351a684 100644 --- a/library/server/ewsgi/src/response/gw_in_memory_response.e +++ b/library/server/ewsgi/src/response/gw_in_memory_response.e @@ -55,6 +55,11 @@ feature -- Status setting feature -- Output operation + flush + do + --| Do nothing ... this is in_memory response + end + write_string (s: STRING) -- Send the string `s' do diff --git a/library/server/ewsgi/src/response/gw_response_stream_imp.e b/library/server/ewsgi/src/response/gw_response_stream_imp.e index 325107de..c345aadc 100644 --- a/library/server/ewsgi/src/response/gw_response_stream_imp.e +++ b/library/server/ewsgi/src/response/gw_response_stream_imp.e @@ -56,6 +56,11 @@ feature -- Status setting feature -- Output operation + flush + do + output.flush + end + write_string (s: STRING) -- Send the string `s' do