From 7a66808667db8a412ac4e58f7e8cfc9275167aaa Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Mon, 25 Nov 2019 17:18:59 +0100
Subject: [PATCH] try and set redirectErrorStream to true
---
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 fcb10101..64a48393 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -114,8 +114,9 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
final String[] command = {"java", "-jar", probBinary, "--machine-file", modelFile};
System.out.println("Launching ProB2UI using command: " + command);
- ProcessBuilder pb = new ProcessBuilder(command);
- Process process = pb.start();
+ ProcessBuilder pb = new ProcessBuilder(command).redirectErrorStream(true);
+ // Process process =
+ pb.start();
// TODO: maybe use
//ProcessBuilder pb = new ProcessBuilder("/path/to/java", "-jar", probBinary, "--machine-file",modelFile);
--
GitLab