From 9cdd6764171908f6e74f52fd4da88e802c87b348 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 30 May 2018 17:25:04 +0200 Subject: [PATCH] Fixed HTTP_HEADER.put_raw_header (..) by ignoring any empty line of the argument value. (note: "%R" is considered as empty line here.) --- library/network/protocol/http/src/http_header.e | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/library/network/protocol/http/src/http_header.e b/library/network/protocol/http/src/http_header.e index 49dec769..165f2877 100644 --- a/library/network/protocol/http/src/http_header.e +++ b/library/network/protocol/http/src/http_header.e @@ -228,7 +228,9 @@ feature -- Header: merging if line [line.count] = '%R' then line.remove_tail (1) end - put_header (line) + if not line.is_empty then + put_header (line) + end end end end