From 06088866e0a22fe4655f7e5e2d9d399775cdee72 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Mon, 22 Apr 2013 21:06:06 +0200 Subject: [PATCH] WSF_RESPONSE.put_header_text should use put_raw_header_data (and not append) --- library/server/wsf/src/wsf_response.e | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/server/wsf/src/wsf_response.e b/library/server/wsf/src/wsf_response.e index 72be7265..5ec5c0f6 100644 --- a/library/server/wsf/src/wsf_response.e +++ b/library/server/wsf/src/wsf_response.e @@ -207,7 +207,7 @@ feature -- Header output operation if header_committed then report_content_already_sent_and_header_ignored else - header.append_raw_header_data (a_text) + header.put_raw_header_data (a_text) end ensure message_writable: message_writable