From 357fb3b1cb1ff25656562d7d43b5f97f6b6153d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 31 Mar 2022 11:09:26 +0200
Subject: [PATCH] [ivette] Server: uses [clearInterval] instead of
[clearTimeout] to stop polling.
---
ivette/src/frama-c/server.ts | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index b53bf908724..a621798462c 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;
}
}
--
GitLab