From 3038e08917471ea6b61f95998547fa0c664d3419 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 8 Jun 2020 12:21:05 +0200
Subject: [PATCH] [ivette] fix cancelled request with null parameter
---
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 94ccba06ede..e0515681e67 100644
--- a/ivette/src/frama-c/states.ts
+++ b/ivette/src/frama-c/states.ts
@@ -178,7 +178,7 @@ export function useRequest(rq: string, params: any, options: any = {}) {
const footprint = project ? JSON.stringify([project, rq, params]) : undefined;
async function trigger() {
- if (project && rq && params) {
+ if (project && rq && params !== undefined) {
try {
const r = await Server.GET({ endpoint: rq, params });
setResponse(r);
--
GitLab