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 f5084ef..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