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/start | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/publish/start b/publish/start index 93263b1..10e2db4 100755 --- a/publish/start +++ b/publish/start @@ -1,3 +1,3 @@ #!/bin/sh -java -Djava.util.logging.config.file=logging.properties -jar mediaz.jar port=9090 ctx=/mz www-data=./www conf=conf \ No newline at end of file +java -Djava.util.logging.config.file=logging.properties -jar tango.jar port=9090 ctx=/tango www-data=./www conf=conf \ No newline at end of file -- Gitblit v1.9.3