Persoenliche Mediazentrale
ulrich
2021-04-23 0c14c00bab23e52508e0d30ef5fdf82399096612
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;
  }
}