From 4d25bfd4f3ae516a5dc7f2a3cfbf0ea49db023a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 27 Sep 2021 14:55:41 +0200
Subject: [PATCH] [ivette] Fixes properties table loading performance.
---
ivette/src/frama-c/states.ts | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/states.ts b/ivette/src/frama-c/states.ts
index e901c6d9b56..e5d85c61c9a 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();
--
GitLab