From cc2d7dbb1cf70ada77a7cbcd8ed6787d5a0f0740 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 5 Aug 2016 11:28:59 +0200 Subject: [PATCH] Ignore empty header line. --- 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 db797f9a..49dec769 100644 --- a/library/network/protocol/http/src/http_header.e +++ b/library/network/protocol/http/src/http_header.e @@ -180,7 +180,9 @@ feature -- Header: adding if line [line.count] = '%R' then line.remove_tail (1) end - add_header (line) + if not line.is_empty then + add_header (line) + end end end end