simon/linol
1
0
Fork 0
mirror of https://github.com/c-cube/linol.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update main.ml

Browse source 
Make `task` a function in order to catch its exceptions.
This commit is contained in:
Mathieu Barbin 2024-05-28 15:46:35 +02:00 • committed by GitHub
parent 1f977ad145
commit 630ead118c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
example/template-eio/main.ml
View file

@ -82,11 +82,11 @@ let run () =
Eio_main.run @@ fun env -> Eio_main.run @@ fun env ->
let s = new lsp_server in let s = new lsp_server in
let server = Linol_eio.Jsonrpc2.create_stdio ~env s in let server = Linol_eio.Jsonrpc2.create_stdio ~env s in
let task = let task () =
let shutdown () = s#get_status = `ReceivedExit in let shutdown () = s#get_status = `ReceivedExit in
Linol_eio.Jsonrpc2.run ~shutdown server Linol_eio.Jsonrpc2.run ~shutdown server
in in
match task with match task () with
| () -> () | () -> ()
| exception e -> | exception e ->
let e = Printexc.to_string e in let e = Printexc.to_string e in