From 52a75e165df00ec4bec5d99ca98ab97451cd3d8c Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 26 Nov 2019 12:24:08 +0100
Subject: [PATCH] remove process.waitFor and exitValue() check, was blocking
Rodin
---
.../src/de/prob/ui/eventb/OpenClassicHandler.java | 13 ++++++-------
1 file changed, 6 insertions(+), 7 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 093ed2a2..865267e3 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -122,13 +122,12 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
new InputStreamReader(process.getInputStream()));
new Thread(new ClassicConsole(output)).start();
- process.waitFor(); // I hope this will not block Rodin
-
- if (process.exitValue() != 0) {
- Logger.notifyUserWithoutBugreport("Failed to launch ProB2UI with java -jar" + probBinary + ". Exit code: " + process.exitValue());
- }
-
- } catch (IOException | InterruptedException e) {
+// process.waitFor(); // this blocks Rodin
+// if (process.exitValue() != 0) {
+// Logger.notifyUserWithoutBugreport("Failed to launch ProB2UI with java -jar" + probBinary + ". Exit code: " + process.exitValue());
+// }
+// } catch (IOException | InterruptedException e) {
+ } catch (IOException e) {
Logger.notifyUserWithoutBugreport("You need to specify a correct location for "
+ PROB2_NAME + ". See Preferences -> ProB Standalone.\n"
+ PROB2_NAME + " location: "+ probBinary +
--
GitLab