Skip to content
Snippets Groups Projects
Commit 619b26a4 authored by Valentin Perrelle's avatar Valentin Perrelle
Browse files

[Server] only catch exceptions the server is allowed to

parent 0969df69
No related branches found
No related tags found
No related merge requests found
......@@ -158,7 +158,7 @@ let execute yield exec : _ response =
with
| Killed -> `Killed exec.id
| Error msg -> `Error(exec.id,msg)
| exn ->
| exn when Cmdline.catch_at_toplevel exn ->
Senv.warning "[%s] Uncaught exception:@\n%s"
exec.request (Cmdline.protect exn) ;
`Error(exec.id,Printexc.to_string exn)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment