From 394d8ab0ebcaceda08614e7ecb1530a0860f6f57 Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Tue, 28 May 2024 15:46:35 +0200 Subject: [PATCH] Update main.ml Make `task` a function in order to catch its exceptions. --- example/template-eio/main.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/example/template-eio/main.ml b/example/template-eio/main.ml index a44010e0..932e0cfa 100644 --- a/example/template-eio/main.ml +++ b/example/template-eio/main.ml @@ -82,11 +82,11 @@ let run () = Eio_main.run @@ fun env -> let s = new lsp_server in let server = Linol_eio.Jsonrpc2.create_stdio ~env s in - let task = + let task () = let shutdown () = s#get_status = `ReceivedExit in Linol_eio.Jsonrpc2.run ~shutdown server in - match task with + match task () with | () -> () | exception e -> let e = Printexc.to_string e in