diff --git a/ivette/src/frama-c/states.ts b/ivette/src/frama-c/states.ts index e901c6d9b56cc753c421562edf90e6350c4f5693..e5d85c61c9a872f66c4e094b36df3e3b119dc4e3 100644 --- a/ivette/src/frama-c/states.ts +++ b/ivette/src/frama-c/states.ts @@ -393,7 +393,7 @@ class SyncArray<K, A> { let pending; /* eslint-disable no-await-in-loop */ do { - const data = await Server.send(this.handler.fetch, 50); + const data = await Server.send(this.handler.fetch, 20000); const { reload = false, removed = [], updated = [] } = data; const { model } = this; if (reload) model.removeAllData();