From e520a8d914eba6290095efbb485e63001d191706 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 24 Oct 2022 16:29:39 +0200
Subject: [PATCH] Update CliStarter to new send_user_interrupt path
---
de.prob.core/src/de/prob/cli/CliStarter.java | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 35fe5758..a7b42f14 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -139,11 +139,11 @@ public final class CliStarter {
throws CliException {
if (os.equals(Platform.OS_MACOSX)) {
return new OsSpecificInfo("macos", "probcli.sh", "sh",
- "send_user_interrupt");
+ "lib/send_user_interrupt");
}
if (os.equals(Platform.OS_WIN32)) {
return new OsSpecificInfo("windows", "probcli.exe", null,
- "send_user_interrupt.exe");
+ "lib\\send_user_interrupt.exe");
}
if (os.equals(Platform.OS_LINUX)) {
@@ -152,7 +152,7 @@ public final class CliStarter {
linux = "linux64";
}
return new OsSpecificInfo(linux, "probcli.sh", "sh",
- "send_user_interrupt");
+ "lib/send_user_interrupt");
}
final CliException cliException = new CliException(
"ProB does not support the plattform: " + os);
--
GitLab