From 599fadb06a87dc3a322219dc37c109dc6924044b Mon Sep 17 00:00:00 2001
From: undisclosed
Date: Tue, 03 Jan 2023 12:10:54 +0000
Subject: [PATCH] Baustelle: Versuche mit unterschiedlichen Playern
---
src/de/uhilger/calypso/MeldeThread.java | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/de/uhilger/calypso/MeldeThread.java b/src/de/uhilger/calypso/MeldeThread.java
index 1bdfe01..7d03fb5 100644
--- a/src/de/uhilger/calypso/MeldeThread.java
+++ b/src/de/uhilger/calypso/MeldeThread.java
@@ -70,6 +70,8 @@
}
private void prozessBeendetMelden() {
+ logger.log(Level.FINER,
+ "Alle Lauscher werden ueber beendeten Abspielprozess verstaendigt..");
Iterator<ProzessLauscher> i = lauscher.iterator();
while(i.hasNext()) {
ProzessLauscher l = i.next();
--
Gitblit v1.9.3