From 8f5d3a09b9d85c2b56e8a459f3c715f5fcc5d1f7 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 27 Apr 2023 20:06:32 +0200
Subject: [PATCH] [Ivette] disconnect the server at exit to allow the process
to exit
---
ivette/src/frama-c/server.ts | 2 ++
1 file changed, 2 insertions(+)
diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index 122f9378047..f0287dc587f 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -284,6 +284,8 @@ export function stop(): void {
}
}
+Dome.atExit(stop);
+
// --------------------------------------------------------------------------
// --- Server Control (Kill)
// --------------------------------------------------------------------------
--
GitLab