From 34497aafd8ff7a6ff858946515ca1b81baa723e3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 11 Feb 2020 10:24:51 +0100
Subject: [PATCH] [Ivette/server] pretty-print command line in console
---
Ivette/src/frama-c/server.js | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/Ivette/src/frama-c/server.js b/Ivette/src/frama-c/server.js
index fe9d5302e82..beb81a40ec6 100644
--- a/Ivette/src/frama-c/server.js
+++ b/Ivette/src/frama-c/server.js
@@ -312,7 +312,7 @@ export function configure( cfg )
async function _launch() {
_reset();
if (!config) throw('Frama-C Server not configured');
- let { env, cwd, command='frama-c', params, sockaddr, logout, logerr } = config;
+ let { env, cwd, command='frama-c', params=[], sockaddr, logout, logerr } = config;
if (!cwd) cwd = System.getWorkingDir();
if (!sockaddr) sockaddr = System.join( cwd , '.frama-c.socket.io' );
logout = logout && System.join( cwd, logout );
@@ -329,6 +329,14 @@ async function _launch() {
const logging = console.append ;
const kill = kill ;
console.clear();
+ console.append('$',command);
+ params.foreach((argv) => {
+ if (argv.startsWith('-') || argv.endsWith('.c') || argv.endsWith('.i') || argv.endsWith('.h'))
+ console.append('\n ');
+ console.append(' ');
+ console.append(argv);
+ });
+ console.append('\n');
process = process ;
process.stdout.on('data', logging );
process.stderr.on('data', logging );
--
GitLab