From 2776b851be3cf12d410ec1eed3fa2187f86d0be1 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Mon, 12 Apr 2021 06:41:31 +0000
Subject: [PATCH] Schriftarten verringert
---
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