diff --git a/ivette/src/frama-c/client_socket.ts b/ivette/src/frama-c/client_socket.ts index 44dec52c6dd6666539f1739449b867916fb9f9a7..4f6d62223cc1c431cc6019c41bde1bdf6719ebae 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; // --------------------------------------------------------------------------