diff options
author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 06:34:16 -0600 |
---|---|---|
committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 06:34:16 -0600 |
commit | 5a51a70a6ffb40b568be50c2245d8f6178b4c477 (patch) | |
tree | c71b4f7a95bf293952e069adae2042e6cddf4d74 | |
parent | 37b4064e0e8838ad7549a7dacf4d37f104de312f (diff) | |
download | wormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.tar.gz wormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.tar.bz2 wormhole-5a51a70a6ffb40b568be50c2245d8f6178b4c477.zip |
Add support for manual deploy
-rw-r--r-- | bin/main.ml | 2 |
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" |