From 61498546cb07fe230cfa74544c97645014939b0e Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 2 Dec 2022 12:16:14 +0100
Subject: [PATCH] Don't set TRAILSTKSIZE and PROLOGINCSIZE envvars for probcli
process
probcli already sets these variables on its own (in SU_initialize.c).
---
de.prob.core/src/de/prob/cli/CliStarter.java | 2 --
1 file changed, 2 deletions(-)
diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index fa9b381b..c9f23ecd 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -105,8 +105,6 @@ public final class CliStarter {
final ProcessBuilder pb = new ProcessBuilder();
pb.command(command);
- pb.environment().put("TRAILSTKSIZE", "1M");
- pb.environment().put("PROLOGINCSIZE", "50M");
pb.environment().put("PROB_HOME", osPath);
try {
prologProcess = pb.start();
--
GitLab