From 6643088e2be86dc24d4010710a50172c5597664d Mon Sep 17 00:00:00 2001 From: akosyakov Date: Thu, 2 Jun 2016 16:09:40 +0200 Subject: [PATCH] [lsi][launcher] Use human readable timestamp for logging Change-Id: I625b60c3d8d2db26751010954762fc64b134a436 Signed-off-by: akosyakov --- .../src/org/eclipse/xtext/ide/server/ServerLauncher.xtend | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/plugins/org.eclipse.xtext.ide/src/org/eclipse/xtext/ide/server/ServerLauncher.xtend b/plugins/org.eclipse.xtext.ide/src/org/eclipse/xtext/ide/server/ServerLauncher.xtend index 0a7b81e64..4f1067b79 100644 --- a/plugins/org.eclipse.xtext.ide/src/org/eclipse/xtext/ide/server/ServerLauncher.xtend +++ b/plugins/org.eclipse.xtext.ide/src/org/eclipse/xtext/ide/server/ServerLauncher.xtend @@ -18,6 +18,7 @@ import java.io.InputStream import java.io.OutputStream import java.io.PrintStream import java.io.PrintWriter +import java.sql.Timestamp /** * @author Sven Efftinge - Initial contribution and API @@ -62,7 +63,7 @@ class ServerLauncher { def static redirectStandardStreams() { System.setIn(new ByteArrayInputStream(newByteArrayOfSize(0))) - val id = ServerLauncher.name + "-" + System.currentTimeMillis + val id = ServerLauncher.name + "-" + new Timestamp(System.currentTimeMillis) if (IS_DEBUG) { val stdFileOut = new FileOutputStream("out-" + id + ".log") System.setOut(new PrintStream(stdFileOut))