App zur Steuerung des mpv Mediaplayers auf einem Raspberry Pi über HTTP
ulrich
2021-03-31 15ed25a13d5f8340dfecef50d23173aef45af125
src/de/uhilger/avdirektor/handler/PlayHandler.java
@@ -67,6 +67,10 @@
    params.append(getParam(map, "th"));
    params.append(" --timeout ");
    params.append(getParam(map, "ti"));
    String log = getParam(map, "log");
    if(log != null && log.equalsIgnoreCase("true")) {
      params.append(" --genlog");
    }
    return params;
  }