From f59d5cac328b7eaab7a4b250360479dd591c20c6 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 14 Feb 2012 18:02:14 +0100 Subject: [PATCH] added postcondition to ensure the body string set to the response, is the same reference this is important, since sometime we just do rep.set_body (s) s.append_string ("..") --- library/server/wsf/src/response/wsf_page_response.e | 2 ++ 1 file changed, 2 insertions(+) diff --git a/library/server/wsf/src/response/wsf_page_response.e b/library/server/wsf/src/response/wsf_page_response.e index 4806b74b..efd8cbe6 100644 --- a/library/server/wsf/src/response/wsf_page_response.e +++ b/library/server/wsf/src/response/wsf_page_response.e @@ -60,6 +60,8 @@ feature -- Element change set_body (a_body: like body) do body := a_body + ensure + body_set: a_body /= Void implies body = a_body end put_string (a_string: READABLE_STRING_8)