diff options
-rw-r--r-- | src/ucs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |
![]() |
index : ucs | |
micro celcatsanitizer: parce que les emplois du temps lisibles, c'est surcôté | Alban Gruin |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | src/ucs.ml | 2 |
@@ -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 |