WSF_RESPONSE.put_header_text should use put_raw_header_data (and not append)

This commit is contained in:
2013-04-22 21:06:06 +02:00
parent ad34ec1156
commit 06088866e0

View File

@@ -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