Merge branch 'master' of https://github.com/EiffelWebFramework/EWF

2013-04-10 09:31:07 +02:00
parent f85dc7f550 47d98a1a11
commit a65f8cbc9c
1 changed files with 0 additions and 1 deletions
--- a/library/server/wsf/router/wsf_routed_skeleton_service.e
+++ b/library/server/wsf/router/wsf_routed_skeleton_service.e
@@ -260,7 +260,6 @@ feature {NONE} -- Implementation
 		ensure
 			response_status_is_set: res.status_is_set
 			response_code_use_proxy: res.status_code = {HTTP_STATUS_CODE}.use_proxy
-			header_sent: res.header_committed and res.message_committed
 		end

 invariant