| | |
| | | /* 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"; |
| | |
| | | |
| | | 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) { |
| | |
| | | public static String getRs(String key) { |
| | | return rb.getString(key); |
| | | } |
| | | |
| | | public static Server getServer() { |
| | | return server; |
| | | } |
| | | |
| | | } |