From 8898b5cac619e1735001027543537e93906990ff Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Mon, 25 Nov 2019 17:15:55 +0100
Subject: [PATCH] remove redirectErrorStream
this does not redirect, it is a boolean value
to check if redirection is in place
---
de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
index 5a56cb74..fcb10101 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -105,7 +105,6 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
private void runProB2(final String probBinary, final String modelFile) {
// call prob2-ui jar file
// from command-line it is: java -jar prob2-ui-1.0.1-SNAPSHOT-all.jar --machine-file FILE
- Process process = null;
try {
// final String command = "java -jar " + probBinary + " --machine-file " + modelFile;
//process = Runtime.getRuntime().exec(command);
@@ -114,7 +113,9 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
//new Thread(new ClassicConsole(output)).start();
final String[] command = {"java", "-jar", probBinary, "--machine-file", modelFile};
- process = new ProcessBuilder(command).redirectErrorStream().start();
+ System.out.println("Launching ProB2UI using command: " + command);
+ ProcessBuilder pb = new ProcessBuilder(command);
+ Process process = pb.start();
// TODO: maybe use
//ProcessBuilder pb = new ProcessBuilder("/path/to/java", "-jar", probBinary, "--machine-file",modelFile);
--
GitLab