Added "flush" to the EWSGI_RESPONSE_STREAM

2011-07-29 10:50:24 +02:00
parent 78b5b6f5fe
commit a278537f7b
4 changed files with 20 additions and 0 deletions
--- 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