From c6cae90829b07c0c0973448741e97f3cf6f70c82 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 26 Nov 2019 11:21:56 +0100
Subject: [PATCH] direct output when launching ProB2UI to limited logger
---
de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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 e5b078bb..093ed2a2 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -74,6 +74,7 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
break;
}
System.out.println(PROB_STANDALONE_NAME + ": " + line);
+ LimitedLogger.getLogger().log(line,PROB_STANDALONE_NAME,null);
}
} catch (IOException e) {
} finally {
@@ -124,7 +125,7 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
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());
+ Logger.notifyUserWithoutBugreport("Failed to launch ProB2UI with java -jar" + probBinary + ". Exit code: " + process.exitValue());
}
} catch (IOException | InterruptedException e) {
--
GitLab