From 1b94f58e7a77f9050c7d82fe40716edb6e7e8f53 Mon Sep 17 00:00:00 2001 From: Colin Adams Date: Fri, 5 Apr 2013 12:41:13 +0100 Subject: [PATCH] Removed incorrect postcondition for handle_use_proxy --- library/server/wsf/router/wsf_routed_skeleton_service.e | 1 - 1 file changed, 1 deletion(-) diff --git a/library/server/wsf/router/wsf_routed_skeleton_service.e b/library/server/wsf/router/wsf_routed_skeleton_service.e index 6253c8cd..e7ae0604 100644 --- a/library/server/wsf/router/wsf_routed_skeleton_service.e +++ b/library/server/wsf/router/wsf_routed_skeleton_service.e @@ -261,7 +261,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