aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 06:34:16 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 06:34:16 -0600
commit5a51a70a6ffb40b568be50c2245d8f6178b4c477 (patch)
treec71b4f7a95bf293952e069adae2042e6cddf4d74
parent37b4064e0e8838ad7549a7dacf4d37f104de312f (diff)
downloadwormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.tar.gz
wormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.tar.bz2
wormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.zip
Add support for manual deploy
Diffstat (limited to '')
-rw-r--r--bin/main.ml2
1 files changed, 1 insertions, 1 deletions
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"