From 1b0ab3d3a2157097d54227f99098cdb8d20d0641 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 4 May 2020 09:01:45 +0200
Subject: [PATCH] [frama-c/server] Use global state process.

---
 ivette/src/frama-c/server.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index 33596c69c8e..c1d9f6dcc9a 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -431,7 +431,7 @@ async function _launch() {
     env,
   };
   // Launch Process
-  const process = await System.spawn(command, params, options);
+  process = await System.spawn(command, params, options);
   const logger = (text: string | string[]) => {
     buffer.append(text);
     if (text.indexOf('\n') >= 0) {
-- 
GitLab