From 0259f4676a6fad731b4b16b3620c358afdb42fdc Mon Sep 17 00:00:00 2001
From: undisclosed
Date: Sun, 22 Jan 2023 14:32:22 +0000
Subject: [PATCH] Experimentell: JavaScript-Player fuer 'hier spielen' bei Abspiellisten

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

diff --git a/publish/logging.properties b/publish/logging.properties
index 09ce6a1..2c13ed1 100644
--- a/publish/logging.properties
+++ b/publish/logging.properties
@@ -55,7 +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 %n
+java.util.logging.SimpleFormatter.format=[%1$tc] %4$s: %5$s (%2$s)%n
 
 ############################################################
 # Facility specific properties.

--
Gitblit v1.9.3