From 1dba1ef3033bbc01d774c6dadaf51d6055bdea3d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 30 Mar 2022 19:22:40 +0200
Subject: [PATCH] [ivette] server more connection retries
---
ivette/src/frama-c/client_socket.ts | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/client_socket.ts b/ivette/src/frama-c/client_socket.ts
index 44dec52c6dd..4f6d62223cc 100644
--- a/ivette/src/frama-c/client_socket.ts
+++ b/ivette/src/frama-c/client_socket.ts
@@ -27,7 +27,7 @@ import { Client } from './client';
const D = new Debug('SocketServer');
-const RETRIES = 10;
+const RETRIES = 30;
const TIMEOUT = 200;
// --------------------------------------------------------------------------
--
GitLab