diff --git a/src/plugins/server/main.ml b/src/plugins/server/main.ml
index 976f0d47d54a626ce8c665acb67565376803b04a..c3442a8c87bfea262ae7ba3a1cd50ab8721ec5bc 100644
--- a/src/plugins/server/main.ml
+++ b/src/plugins/server/main.ml
@@ -402,9 +402,7 @@ let run server =
     Senv.feedback "Server shutdown." ;
     emitter := nop ;
     set_active false ;
-  with
-  | Killed -> ()
-  | exn ->
+  with exn ->
     Senv.feedback "Server interruped (fatal error)." ;
     emitter := nop ;
     set_active false ;