From 5a51a70a6ffb40b568be50c2245d8f6178b4c477 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 4 Dec 2023 06:34:16 -0600 Subject: Add support for manual deploy --- bin/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin') diff --git a/bin/main.ml b/bin/main.ml index ab5548a..d3f283f 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -138,7 +138,7 @@ let () = Dream.log "Unauthorized request"; let code = Some 401 in Dream.json ?code "Unauthorized" - | _, _, false -> + | _, "false", false -> Dream.log "Unauthorized request"; let code = Some 401 in Dream.json ?code "Unauthorized, not in whitelist" -- cgit v1.2.3