diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index b53bf9087241873abdcc364696cb34ee27a94586..a621798462c09a889bdb455af074f4205445c2bb 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -508,7 +508,7 @@ function _startPolling(): void {
 
 function _stopPolling(): void {
   if (pollingTimer) {
-    clearTimeout(pollingTimer);
+    clearInterval(pollingTimer);
     pollingTimer = undefined;
   }
 }