[ivette/server] fix command line

ivette/src/frama-c/client.ts

@@ -28,6 +28,9 @@ import { json } from 'dome/data/json';
 
 export interface Client {
 
+  /** Server CLI */
+  commandLine(sockaddr: string, params: string[]): string[];
+
   /** Connection */
   connect(addr: string): void;
 

ivette/src/frama-c/client_socket.ts

@@ -40,6 +40,11 @@ class SocketClient implements Client {
   queue: json[] = [];
   buffer: Buffer = Buffer.from('');
 
+  /** Server CLI */
+  commandLine(sockaddr: string, params: string[]): string[] {
+    return ['-server-socket', sockaddr, '-then'].concat(params);
+  }
+
   /** Connection */
   connect(sockaddr: string): void {
     if (this.socket) {

ivette/src/frama-c/client_zmq.ts

@@ -33,15 +33,17 @@ const pollingTimeout = 50;
 
 class ZmqClient implements Client {
 
-  constructor() { }
-
   events = new Emitter();
-
   queueCmd: string[] = [];
   queueId: string[] = [];
   zmqSocket: ZmqRequest | undefined;
   zmqIsBusy = false;
 
+  /** Server CLI */
+  commandLine(sockaddr: string, params: string[]): string[] {
+    return ['-server-zmq', sockaddr, '-then'].concat(params);
+  }
+
   /** Connection */
   connect(sockaddr: string): void {
     if (!this.zmqSocket) {

ivette/src/frama-c/server.ts

@@ -458,7 +458,7 @@ async function _launch() {
   if (!cwd) cwd = System.getWorkingDir();
   logout = logout && System.join(cwd, logout);
   logerr = logerr && System.join(cwd, logerr);
-  params = ['-server-zmq', sockaddr, '-then'].concat(params);
+  params = client.commandLine(sockaddr, params);
   const options = {
     cwd,
     stdout: { path: logout, pipe: true },