From 7748fb362bd87e26c862e0b860788a3046cdd43d Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 26 Nov 2019 09:49:36 +0100
Subject: [PATCH] output some info to limited logger when opening ProB2UI
---
de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java | 5 ++++-
1 file changed, 4 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 1af23d4e..e0a37c14 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -1,5 +1,7 @@
package de.prob.ui.eventb;
+import de.prob.core.LimitedLogger;
+
import java.io.BufferedReader;
import java.io.File;
import java.io.IOException;
@@ -110,7 +112,8 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
//process = Runtime.getRuntime().exec(command);
final String[] command = {"java", "-jar", probBinary, "--machine-file", modelFile};
- System.out.println("Launching ProB2UI using command: java -jar " + probBinary);
+ System.out.println("Launching ProB2UI using: java -jar " + probBinary);
+ LimitedLogger.getLogger().log("Launching ProB2UI using: java -jar " + probBinary + " --machine-file " + modelFile,"ProB2UI",null);
ProcessBuilder pb = new ProcessBuilder(command).redirectErrorStream(true);
Process process = pb.start();
--
GitLab