diff --git a/library/server/wsf/src/implementation/wsf_wgi_delayed_header_response.e b/library/server/wsf/src/implementation/wsf_wgi_delayed_header_response.e index cb920fc3..b5aeb6fc 100644 --- a/library/server/wsf/src/implementation/wsf_wgi_delayed_header_response.e +++ b/library/server/wsf/src/implementation/wsf_wgi_delayed_header_response.e @@ -9,7 +9,6 @@ class inherit WGI_FILTER_RESPONSE redefine - set_status_code, commit, put_character, put_string, @@ -75,19 +74,6 @@ feature {NONE} -- Implementation header_committed: header_committed end -feature -- Status setting - - set_status_code (a_code: INTEGER; a_reason_phrase: detachable READABLE_STRING_8) - -- Set response status code with custom `a_reason_phrase' if precised - -- Should be done before sending any data back to the client - do - if a_reason_phrase /= Void then - wsf_response.set_status_code_with_reason_phrase (a_code, a_reason_phrase) - else - wsf_response.set_status_code (a_code) - end - end - feature -- Status report message_writable: BOOLEAN = True