From 660566c68662a866c5d97ad90894ba9ab6046fd3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 3 May 2021 13:21:00 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
---
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 e1c13d0a883..986a69a6695 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -401,7 +401,7 @@ export interface Configuration {
command?: string;
/** Additional server arguments (default: empty). */
params: string[];
- /** Server socket (default: `ipc:///tmp/frama-c.<pid>.io`). */
+ /** Server socket (default: `ipc:///tmp/ivette.frama-c.<pid>.io`). */
sockaddr?: string;
/** Shutdown timeout before server is hard killed, in milliseconds
* (default: 300ms). */
--
GitLab