From 7b6c6aab9ecd20b64c5e75118b1642b7ab90f043 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 28 Mar 2022 16:14:26 +0200
Subject: [PATCH] [Ivette] force emit signal in case of errors
---
ivette/src/frama-c/states.ts | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/states.ts b/ivette/src/frama-c/states.ts
index 8c62b47cb54..ff7b0310ffc 100644
--- a/ivette/src/frama-c/states.ts
+++ b/ivette/src/frama-c/states.ts
@@ -304,6 +304,7 @@ class SyncState<A> {
`Fail to set value of SyncState '${this.handler.name}'.`,
`${error}`,
);
+ this.UPDATE.emit();
}
}
@@ -311,16 +312,18 @@ class SyncState<A> {
try {
this.upToDate = true;
this.value = undefined;
+ this.UPDATE.emit();
if (Server.isRunning()) {
const v = await Server.send(this.handler.getter, null);
this.value = v;
+ this.UPDATE.emit();
}
- this.UPDATE.emit();
} catch (error) {
D.error(
`Fail to update SyncState '${this.handler.name}'.`,
`${error}`,
);
+ this.UPDATE.emit();
}
}
}
--
GitLab