removed obsolete call on WSF_RESPONSE.write_..' by using the up-to-date WSF_RESPONSE.put_..'

library/server/wsf/src/response/wsf_download_response.e

@@ -109,7 +109,7 @@ feature -- Basic operations
 	send_to (res: WSF_RESPONSE)
 		do
 			res.set_status_code (status_code)
-			res.write_header_text (header.string)
+			res.put_header_text (header.string)
 			if not answer_head_request_method then
 				send_file_content_to (file_name, res)
 			end
@@ -202,7 +202,7 @@ feature {NONE} -- Implementation: output
 				f.exhausted
 			loop
 				f.read_stream (4_096)
-				res.write_string (f.last_string)
+				res.put_string (f.last_string)
 			end
 			f.close
 		end

library/server/wsf/src/response/wsf_page_response.e

@@ -60,9 +60,9 @@ feature -- Output
 					h.put_content_type_text_plain
 				end
 			end
-			res.write_header_text (h.string)
+			res.put_header_text (h.string)
 			if b /= Void then
-				res.write_string (b)
+				res.put_string (b)
 			end
 		end