in WSF_RESPONSE, put_header' now call put_header_text'

Removed unused local variable
2012-03-21 14:49:09 +01:00
parent 95c3bbf6e5
commit ac9cbb0bd2
2 changed files with 2 additions and 3 deletions
--- a/library/server/wsf/src/wsf_response.e
+++ b/library/server/wsf/src/wsf_response.e
@@ -87,6 +87,7 @@ feature -- Header output operation
 			wgi_response.put_header_text (a_headers)
 		ensure
 			status_set: status_is_set
+			status_committed: status_committed
 			header_committed: header_committed
 			message_writable: message_writable
 		end
@@ -102,7 +103,7 @@ feature -- Header output operation
 			set_status_code (a_status_code)
 			if a_headers /= Void then
 				create h.make_from_array (a_headers)
-				wgi_response.put_header_text (h.string)
+				put_header_text (h.string)
 			end
 		ensure
 			header_committed: header_committed