From 26f5be84bd71aca3ad06857ad8c3441b46208080 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 8 Dec 2022 10:34:21 +0100
Subject: [PATCH] [ivette] fixed empty correct response
---
ivette/src/frama-c/server.ts | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index 633839855c6..d4f5c94ba9e 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -762,13 +762,9 @@ export function send<In, Out>(
const response: Response<Out> = new Promise<Out>((resolve, reject) => {
const unwrap = (js: Json.json): void => {
try {
- const data = request.output(js);
- if (data !== undefined)
- resolve(data);
- else
- reject('Wrong response type');
+ resolve(request.output(js));
} catch (err) {
- reject(`Decoding Error (${err})`);
+ reject(`Invalid ${request.name} response (${err})`);
}
};
pending.set(rid, { resolve: unwrap, reject });
--
GitLab