Skip to content
Snippets Groups Projects
Commit df2fd659 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

use ProcessBuilder to start ProB2 Standalone

parent 365950b2
No related branches found
No related tags found
No related merge requests found
...@@ -107,17 +107,21 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler { ...@@ -107,17 +107,21 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
// from command-line it is: java -jar prob2-ui-1.0.1-SNAPSHOT-all.jar --machine-file FILE // from command-line it is: java -jar prob2-ui-1.0.1-SNAPSHOT-all.jar --machine-file FILE
Process process = null; Process process = null;
try { try {
final String command = "java -jar " + probBinary + " --machine-file " + modelFile; // final String command = "java -jar " + probBinary + " --machine-file " + modelFile;
process = Runtime.getRuntime().exec(command); //process = Runtime.getRuntime().exec(command);
final BufferedReader output = new BufferedReader( //final BufferedReader output = new BufferedReader(
new InputStreamReader(process.getInputStream())); // new InputStreamReader(process.getInputStream()));
new Thread(new ClassicConsole(output)).start(); //new Thread(new ClassicConsole(output)).start();
final String[] command = {"java", "-jar", probBinary, "--machine-file", modelFile};
process = new ProcessBuilder(command).redirectErrorStream().start();
// TODO: maybe use // TODO: maybe use
//ProcessBuilder pb = new ProcessBuilder("/path/to/java", "-jar", probBinary, "--machine-file",modelFile); //ProcessBuilder pb = new ProcessBuilder("/path/to/java", "-jar", probBinary, "--machine-file",modelFile);
// pb.directory(new File("preferred/working/directory")); // pb.directory(new File("preferred/working/directory"));
// Process p = pb.start(); // Process p = pb.start();
} catch (IOException e) { } catch (IOException e) {
Logger.notifyUserWithoutBugreport("You need to specify a correct location for " Logger.notifyUserWithoutBugreport("You need to specify a correct location for "
+ PROB2_NAME + ". See Preferences -> ProB Standalone.\n" + PROB2_NAME + ". See Preferences -> ProB Standalone.\n"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment