From 0bdd0f1b0b15d1b03d93c00d3b305facf8cfa484 Mon Sep 17 00:00:00 2001
From: Florian Angerer <florian.angerer@oracle.com>
Date: Fri, 28 Jul 2017 13:57:43 +0200
Subject: [PATCH] Used a more compact logging format.

---
 .../oracle/truffle/r/test/packages/analyzer/PTAMain.java   | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java b/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java
index 7342253b38..f60d22af3e 100644
--- a/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java
+++ b/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java
@@ -63,6 +63,12 @@ import com.oracle.truffle.r.test.packages.analyzer.model.RPackage;
  * </p>
  */
 public class PTAMain {
+
+    // must be before the logger is created to take effect
+    static {
+        System.setProperty("java.util.logging.SimpleFormatter.format", "%4$s: %5$s [%1$tc]%n");
+    }
+
     private static final Logger LOGGER = Logger.getLogger(PTAMain.class.getName());
     private static final String LOG_FILE_NAME = "pta.log";
 
@@ -170,6 +176,7 @@ public class PTAMain {
         }
         rootLogger.setLevel(defaultLogLevel);
 
+        System.setProperty("java.util.logging.SimpleFormatter.format", "%4$s: %5$s [%1$tc]%n");
         if (parser.has("console")) {
             consoleHandler.setLevel(defaultLogLevel);
         } else {
-- 
GitLab