From 7d31187663154286b4a49beaf49d98ffd004ec06 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Sat, 24 Apr 2021 08:33:16 +0000
Subject: [PATCH] UI-Anpassungen
---
src/de/uhilger/mediaz/App.java | 11 ++++++++++-
1 files changed, 10 insertions(+), 1 deletions(-)
diff --git a/src/de/uhilger/mediaz/App.java b/src/de/uhilger/mediaz/App.java
index 83ceb8e..042fcdf 100644
--- a/src/de/uhilger/mediaz/App.java
+++ b/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";
@@ -56,6 +59,7 @@
public static final String RB_AP_CTX = "appParamCtx";
public static final String RB_AP_UI = "appParamUi";
public static final String RB_EP_LISTE = "epliste";
+ public static final String RB_EP_LISTE_ALLES = "eplisteAlles";
public static final String RB_AUDIOEXTS = "audioexts";
public static final String RB_VIDEOEXTS = "videoexts";
public static final String RB_PLAYERPARAMS = "playerparams";
@@ -79,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) {
@@ -129,5 +134,9 @@
public static String getRs(String key) {
return rb.getString(key);
}
+
+ public static Server getServer() {
+ return server;
+ }
}
--
Gitblit v1.9.3