diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index 122f9378047f9bd5274a2584fa88e509d0cbad56..f0287dc587f543f10eb1559bc94456b58eed9ae4 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)
 // --------------------------------------------------------------------------