From 3929b0fe2a7678b31f8971c9b9eb4536330f6c80 Mon Sep 17 00:00:00 2001 From: ulrich Date: Wed, 14 Apr 2021 16:26:58 +0000 Subject: [PATCH] Entitaet Geraet hinzugenommen, Aenderungen an Menues und UI --- src/de/uhilger/mediaz/Server.java | 7 +++---- 1 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/de/uhilger/mediaz/Server.java b/src/de/uhilger/mediaz/Server.java index f662f2f..2f71fc9 100644 --- a/src/de/uhilger/mediaz/Server.java +++ b/src/de/uhilger/mediaz/Server.java @@ -56,7 +56,7 @@ public static final String RB_STOP_SERVER = "stopServer"; //public static final String RB_ABLAGE_TEST = "testAblage"; //public static final String RB_STORE_TEST = "testStore"; - public static final String RB_SLASH = "slash"; + public static final String SLASH = "/"; private int port; @@ -87,9 +87,8 @@ * @param ctxName Name des Kontexts, unter dem der Server aufrufbar sein soll */ public void setContextName(String ctxName) { - String slash = App.getRs(RB_SLASH); - if (!ctxName.startsWith(slash)) { - this.ctx = slash + ctxName; + if (!ctxName.startsWith(SLASH)) { + this.ctx = SLASH + ctxName; } else { this.ctx = ctxName; } -- Gitblit v1.9.3