From 8c7b764b30bab64cc78b9c45c42810b33d8c42e0 Mon Sep 17 00:00:00 2001 From: craff Date: Fri, 9 Dec 2022 07:36:05 -1000 Subject: [PATCH] forgot to catch Unix_error --- src/Tiny_httpd_server.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Tiny_httpd_server.ml b/src/Tiny_httpd_server.ml index f40447db..673656cd 100644 --- a/src/Tiny_httpd_server.ml +++ b/src/Tiny_httpd_server.ml @@ -258,7 +258,7 @@ module Request = struct } in Ok (Some req) with - | End_of_file | Sys_error _ -> Ok None + | End_of_file | Sys_error _ | Unix.Unix_error _ -> Ok None | Bad_req (c,s) -> Error (c,s) | e -> Error (400, Printexc.to_string e)