From dd2cd0ec04e55ab2554be52b7020141848f11deb Mon Sep 17 00:00:00 2001 From: Dominik Hansen <Dominik.Hansen@uni-duesseldorf.de> Date: Thu, 23 May 2013 11:02:38 +0200 Subject: [PATCH] Finding a bug running on jenkins ...(2) Former-commit-id: 5ca92b7d9cc6a9588c253e07c9a4437ed955055f --- src/main/java/de/b2tla/TLCRunner.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/main/java/de/b2tla/TLCRunner.java b/src/main/java/de/b2tla/TLCRunner.java index 01f56e5..fe8024a 100644 --- a/src/main/java/de/b2tla/TLCRunner.java +++ b/src/main/java/de/b2tla/TLCRunner.java @@ -24,6 +24,7 @@ public class TLCRunner { public static void main(String[] args) { // this method will be executed in a separate JVM + System.out.println("Starting TLC..."); String path = args[0]; ToolIO.setUserDir(path); String[] parameters = new String[args.length - 1]; @@ -43,7 +44,7 @@ public class TLCRunner { } String[] args = list.toArray(new String[list.size()]); ProcessHelper helper = new ProcessHelper(); - + System.out.println("Starting TLC..."); Process p = helper.startNewJavaProcess("", TLCRunner.class.getName(), args); -- GitLab