at this point we have no garantie that the header are sent

this can be ensured only at {WGI_RESPONSE}.commit exit.
2013-03-28 19:06:55 +01:00
parent 44cb0ad98c
commit a0c000b50f
1 changed files with 0 additions and 1 deletions
--- a/library/server/wsf/router/wsf_routed_service.e
+++ b/library/server/wsf/router/wsf_routed_service.e
@@ -50,7 +50,6 @@ feature -- Execution
 			end
 		ensure
 			response_status_is_set: res.status_is_set
-			header_sent: res.header_committed
 		end

 	execute_default (req: WSF_REQUEST; res: WSF_RESPONSE)