From 80a1c8584439ab8786cb18af9ebc048c1fcd49d0 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 27 Apr 2012 08:52:58 +0200 Subject: [PATCH] added postcondition status_reason_phrase_unset to `set_status' --- library/server/wsf/src/wsf_response.e | 1 + 1 file changed, 1 insertion(+) diff --git a/library/server/wsf/src/wsf_response.e b/library/server/wsf/src/wsf_response.e index 4e4b16c7..8c7fd735 100644 --- a/library/server/wsf/src/wsf_response.e +++ b/library/server/wsf/src/wsf_response.e @@ -73,6 +73,7 @@ feature -- Status setting ensure status_code_set: status_code = a_code status_set: status_is_set + status_reason_phrase_unset: status_reason_phrase = Void end set_status_code_with_reason_phrase (a_code: INTEGER; a_reason_phrase: READABLE_STRING_8)