From a6081c2b65b0463fdc640875833527f41fa9ded6 Mon Sep 17 00:00:00 2001
From: undisclosed
Date: Sun, 22 Jan 2023 16:11:12 +0000
Subject: [PATCH] Erste Version fertig: JavaScript-Player fuer 'hier spielen' bei Abspiellisten

---
 publish/logging.properties |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/publish/logging.properties b/publish/logging.properties
index b2b4cf7..2c13ed1 100644
--- a/publish/logging.properties
+++ b/publish/logging.properties
@@ -55,6 +55,7 @@
 #     <level>: <log message> [<date/time>]
 #
 # java.util.logging.SimpleFormatter.format=%4$s: %5$s [%1$tc]%n
+java.util.logging.SimpleFormatter.format=[%1$tc] %4$s: %5$s (%2$s)%n
 
 ############################################################
 # Facility specific properties.

--
Gitblit v1.9.3