Persoenliche Mediazentrale
ulrich
2021-04-10 50e53e791b318e29a9deb9228a6d1b615b8a9053
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;
    }