UI-Anpassungen

ulrich

2021-04-24 7d31187663154286b4a49beaf49d98ffd004ec06

 src/de/uhilger/mediaz/App.java

@@ -48,6 +48,9 @@
  /* Name des ResourceBundles dieser App */
  private static final String RB_NAME = "mediaz";
  
  /* Der Server dieser App */
  private static Server server;
  
  /* ResourceBundle-Kennungen */
  public static final String RB_PARAM_FEHLT = "msgParamFehlt";
  public static final String RB_AP_PORT = "appParamPort";
@@ -80,7 +83,8 @@

    String portStr = getInitParameter(getRs(RB_AP_PORT));
    if (portStr != null) {
      Server server = new Server(Integer.parseInt(portStr));
      //Server server = new Server(Integer.parseInt(portStr));
      server = new Server(Integer.parseInt(portStr));
      try {
        String ctxName = getInitParameter(getRs(RB_AP_CTX));
        if (ctxName != null) {
@@ -130,5 +134,9 @@
  public static String getRs(String key) {
    return rb.getString(key);
  }
  
  public static Server getServer() {
    return server;
  }

}