From c466cda0a5f9a3cfefc234a623da1faa0603fd3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 29 Mar 2022 10:27:28 +0200
Subject: [PATCH] [ivette] synchro client/server polling rates

---
 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 09cdc896292..fd7a4648eef 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -121,7 +121,7 @@ const pending = new Map<string, PendingRequest>();
 let process: ChildProcess | undefined;
 
 /** Polling timeout when server is busy. */
-const pollingTimeout = 10;
+const pollingTimeout = 50;
 let pollingTimer: NodeJS.Timeout | undefined;
 
 /** Killing timeout and timer for server process hard kill. */
-- 
GitLab