openid demo fixed

2013-03-27 10:28:20 +00:00
parent 8ebaf2a917
commit 8c5400915d
2 changed files with 10 additions and 2 deletions
--- a/library/server/wsf/router/wsf_routed_service.e
+++ b/library/server/wsf/router/wsf_routed_service.e
@@ -50,7 +50,7 @@ feature -- Execution
 			end
 		ensure
 			response_status_is_set: res.status_is_set
-			header_sent: res.header_committed and res.message_committed
+			header_sent: res.header_committed
 		end

 	execute_default (req: WSF_REQUEST; res: WSF_RESPONSE)