aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlban Gruin2020-09-13 16:41:50 +0200
committerAlban Gruin2020-09-13 16:42:20 +0200
commit05bb26f8f89625fde4f1c41931b501025dfc7695 (patch)
treeb3ca46db24d49004fb30f74244a801edde81efe1
parentf60b245498829700f6d321a15bbc079d833758aa (diff)
ucs: remove use of `ignore' an the main function
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
-rw-r--r--src/ucs.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ucs.ml b/src/ucs.ml
index 4a5f490..d4ff220 100644
--- a/src/ucs.ml
+++ b/src/ucs.ml
@@ -69,4 +69,4 @@ let server =
Server.create ~mode:(`TCP (`Port 8080)) (Server.make ~callback ())
let () =
- ignore @@ Lwt_main.run server
+ Lwt_main.run server