From b836943494eba4a3f6d57c531970d00ab2df6d8f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 29 Mar 2022 18:36:25 +0200
Subject: [PATCH] [ivette] keep server running on running
---
ivette/src/frama-c/server.ts | 1 -
1 file changed, 1 deletion(-)
diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index e5157c3c852..2084d2ddc75 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();
--
GitLab