From 7d945bce9083164ed3eddff6885aed72671a67d0 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 27 May 2020 09:52:11 +0200
Subject: [PATCH] [ivette] Fix useRequest on undefined params.
---
ivette/src/frama-c/states.ts | 15 ++++++++-------
1 file changed, 8 insertions(+), 7 deletions(-)
diff --git a/ivette/src/frama-c/states.ts b/ivette/src/frama-c/states.ts
index 5fc3a473d83..b846dee4fa4 100644
--- a/ivette/src/frama-c/states.ts
+++ b/ivette/src/frama-c/states.ts
@@ -172,22 +172,23 @@ export function useRequest(rq: string, params: any, options: any = {}) {
const state = React.useRef<string>();
const project = useProject();
const [response, setResponse] = React.useState(options.offline);
- const footprint =
- project ? JSON.stringify([project, rq, params]) : undefined;
+ const footprint = project ? JSON.stringify([project, rq, params]) : undefined;
async function trigger() {
if (project) {
try {
- const r = await Server.GET({ endpoint: rq, params });
- setResponse(r);
+ if (rq && params) {
+ const r = await Server.GET({ endpoint: rq, params });
+ setResponse(r);
+ }
} catch (error) {
PP.error(`Fail in useRequest '${rq}'. ${error.toString()}`);
const err = options.error;
- if (err !== undefined) setResponse(err);
+ setResponse(err);
}
} else {
const off = options.offline;
- if (off !== undefined) setResponse(off);
+ setResponse(off);
}
}
@@ -447,7 +448,7 @@ class SyncArray {
Dome.emit(this.UPDATE);
} catch (error) {
PP.error(
- `Fail to set reload of syncArray '${this.id}. ${error.toString()}`,
+ `Fail to set reload of syncArray '${this.id}'. ${error.toString()}`,
);
}
}
--
GitLab