App zur Steuerung des mpv Mediaplayers auf einem Raspberry Pi über HTTP
undisclosed
2023-01-07 2f2aa7d344d41c6d4083149b1ea6b41e7fb1f683
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();