diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index e5157c3c8529c3aee78c778ad6a0d74e5f99692c..2084d2ddc7577ad523ee7f268e9d2b1ec497cefa 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -787,7 +787,6 @@ client.onConnect((err?: Error) => {
   if (err) {
     _status(Status.FAILURE);
     _stopPolling();
-    _shutdown();
   } else {
     _status(Status.CMD);
     _startPolling();