Fixed HTTP_HEADER.put_raw_header (..) by ignoring any empty line of the argument value.

(note: "%R" is considered as empty line here.)
This commit is contained in:
2018-05-30 17:25:04 +02:00
parent cb273c3176
commit 9cdd676417

View File

@@ -228,7 +228,9 @@ feature -- Header: merging
if line [line.count] = '%R' then if line [line.count] = '%R' then
line.remove_tail (1) line.remove_tail (1)
end end
put_header (line) if not line.is_empty then
put_header (line)
end
end end
end end
end end