From ee696c08e8542f0ea036e62f738427851ec68311 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Mon, 25 Nov 2019 17:42:07 +0100
Subject: [PATCH] try and put ProB2UI command output into console
---
.../de/prob/ui/eventb/OpenClassicHandler.java | 16 +++++-----------
1 file changed, 5 insertions(+), 11 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 64a48393..1af23d4e 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -108,21 +108,15 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
try {
// final String command = "java -jar " + probBinary + " --machine-file " + modelFile;
//process = Runtime.getRuntime().exec(command);
- //final BufferedReader output = new BufferedReader(
- // new InputStreamReader(process.getInputStream()));
- //new Thread(new ClassicConsole(output)).start();
final String[] command = {"java", "-jar", probBinary, "--machine-file", modelFile};
- System.out.println("Launching ProB2UI using command: " + command);
+ System.out.println("Launching ProB2UI using command: java -jar " + probBinary);
ProcessBuilder pb = new ProcessBuilder(command).redirectErrorStream(true);
- // Process process =
- pb.start();
+ Process process = pb.start();
- // TODO: maybe use
- //ProcessBuilder pb = new ProcessBuilder("/path/to/java", "-jar", probBinary, "--machine-file",modelFile);
- // pb.directory(new File("preferred/working/directory"));
- // Process p = pb.start();
-
+ final BufferedReader output = new BufferedReader(
+ new InputStreamReader(process.getInputStream()));
+ new Thread(new ClassicConsole(output)).start();
} catch (IOException e) {
Logger.notifyUserWithoutBugreport("You need to specify a correct location for "
--
GitLab