diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index 09cdc8962929efc69ba15023526551b98bf8b1b9..fd7a4648eef3b293d21cf93273a0e2227dce160a 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. */