replace write_string by write in RESPONSE

library/server/ewsgi/src/gw_application.e

@@ -61,7 +61,7 @@ feature {NONE} -- Execution
 				and a_exception /= Void and then attached a_exception.exception_trace as l_trace
 			then
 				res.write_header ({HTTP_STATUS_CODE}.internal_server_error, Void)
-				res.write_string ("<pre>" + l_trace + "</pre>")
+				res.write ("<pre>" + l_trace + "</pre>")
 			end
 			post_execute (req, res)
 		end

library/server/ewsgi/src/implementation/in_memory/gw_in_memory_response.e

@@ -38,7 +38,7 @@ feature -- Status setting
 
 feature -- Output operation
 
-	write_string (s: STRING)
+	write (s: STRING)
 			-- Send the content of `s'
 		do
 			body.append (s)
@@ -57,7 +57,7 @@ feature -- Output operation
 					f.exhausted
 				loop
 					f.read_stream (1024)
-					write_string (f.last_string)
+					write (f.last_string)
 				end
 				f.close
 			end
@@ -74,7 +74,7 @@ feature {GW_APPLICATION} -- Commit
 	commit (a_output: GW_OUTPUT_STREAM)
 		do
 			header.send_to (a_output)
-			write_string (body)
+			write (body)
 			Precursor (a_output)
 		end
 

library/server/ewsgi/src/response/gw_buffered_response.e

@@ -43,7 +43,7 @@ feature -- Status setting
 
 feature -- Output operation
 
-	write_string (s: STRING)
+	write (s: STRING)
 			-- Send the content of `s'
 		local
 			buf: like buffer
@@ -84,7 +84,7 @@ feature -- Output operation
 					f.exhausted
 				loop
 					f.read_stream (buffer_capacity)
-					write_string (f.last_string)
+					write (f.last_string)
 				end
 				f.close
 			end

library/server/ewsgi/src/response/gw_response.e

@@ -18,16 +18,24 @@ feature {GW_APPLICATION} -- Commit
 
 feature -- Output operation
 
-	write_string (s: STRING)
+	write (s: STRING)
 			-- Send the content of `s'
 		deferred
 		end
 
+	write_string (s: STRING)
+			-- Send the content of `s'
+		do
+			write (s)
+		end
+
 	write_file_content (fn: STRING)
 			-- Send the content of file `fn'
 		deferred
 		end
 
+feature -- Header output operation
+
 	write_header_object (h: GW_HEADER)
 			-- Send `header' to `output'.
 		deferred
@@ -58,8 +66,8 @@ feature -- Output operation
 	write_header_line (s: STRING)
 			-- Send `s' to http client as header line
 		do
-			write_string (s)
-			write_string ("%R%N")
+			write (s)
+			write ("%R%N")
 		end
 
 note

library/server/ewsgi/src/response/gw_response_imp.e

@@ -22,7 +22,7 @@ feature {NONE} -- Initialization
 
 feature -- Output operation
 
-	write_string (s: STRING)
+	write (s: STRING)
 			-- Send the content of `s'
 		do
 			output.put_string (s)