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

try to catch exitValue !=0 when starting ProB2UI

parent 7748fb36
No related branches found
No related tags found
No related merge requests found
......@@ -121,7 +121,13 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
new InputStreamReader(process.getInputStream()));
new Thread(new ClassicConsole(output)).start();
} catch (IOException e) {
process.waitFor(); // I hope this will not block Rodin
if (process.exitValue() != 0) {
Logger.notifyUserWithoutBugreport("Error launching ProB2UI with java -jar" + probBinary + ". Exit code: " + process.exitValue());
}
} catch (IOException | InterruptedException e) {
Logger.notifyUserWithoutBugreport("You need to specify a correct location for "
+ PROB2_NAME + ". See Preferences -> ProB Standalone.\n"
+ PROB2_NAME + " location: "+ probBinary +
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment