From 0cb52c928969bb938f5b2082f37c027377ae2640 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 2 Dec 2022 12:26:13 +0100
Subject: [PATCH] Don't set PROB_HOME envvar for probcli process
probcli should always be able to figure out its own location.
---
de.prob.core/src/de/prob/cli/CliStarter.java | 1 -
1 file changed, 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index c9f23ecd..0334c426 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -105,7 +105,6 @@ public final class CliStarter {
final ProcessBuilder pb = new ProcessBuilder();
pb.command(command);
- pb.environment().put("PROB_HOME", osPath);
try {
prologProcess = pb.start();
} catch (IOException e) {
--
GitLab