Skip to content
Snippets Groups Projects
Commit 3072b88e authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[server] never kill outside of request handlers

parent 02069ba1
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/server/main.ml
+ 1
− 3
View file @ 3072b88e
...@@ -402,9 +402,7 @@ let run server = ...@@ -402,9 +402,7 @@ let run server =
Senv.feedback "Server shutdown." ; Senv.feedback "Server shutdown." ;
emitter := nop ; emitter := nop ;
set_active false ; set_active false ;
with with exn ->
| Killed -> ()
| exn ->
Senv.feedback "Server interruped (fatal error)." ; Senv.feedback "Server interruped (fatal error)." ;
emitter := nop ; emitter := nop ;
set_active false ; set_active false ;
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment