Fix parsing when host is localhost:<port> (#181)

This commit is contained in:
Marc 2021-04-01 13:17:54 -07:00 коммит произвёл GitHub
Родитель 27c7bad5d5
Коммит 76365e3de6
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -78,7 +78,7 @@ let parseRequest (x: string) =
//from r.[1] to end, but if "" line and not last one -> then next one is body
let rec collectHeaders (headers: Map<string, string>) (rs: string list) =
let parseHeader (h: string) =
match h.Split(':') with
match h.Split(": ") with
| [|k; v|] -> Some(k.Trim(), v.Trim())
| _ -> None