upd: make system-keywords configurable

[gigi.git] / src / club / wpia / gigi / util / ServerConstants.java

diff --git a/src/club/wpia/gigi/util/ServerConstants.java b/src/club/wpia/gigi/util/ServerConstants.java
index d95db1b538f2b54a2a72f91df7d0507f98ef3959..8ff3883cf99f4f923a2b634743d0f1a064edff70 100644 (file)
--- a/src/club/wpia/gigi/util/ServerConstants.java
+++ b/src/club/wpia/gigi/util/ServerConstants.java
@@ -60,6 +60,8 @@ public class ServerConstants {
 
     private static String appName = null;
 
 
     private static String appName = null;
 

+    private static String appIdentifier = null;
+

     public static void init(Properties conf) {
         securePort = port = "";
         if ( !conf.getProperty("https.port").equals("443")) {
     public static void init(Properties conf) {
         securePort = port = "";
         if ( !conf.getProperty("https.port").equals("443")) {


@@ -81,6 +83,10 @@ public class ServerConstants {
         if (appName == null) {
             throw new Error("App name missing");
         }
         if (appName == null) {
             throw new Error("App name missing");
         }

+        appIdentifier = conf.getProperty("appIdentifier");
+        if (appIdentifier == null) {
+            throw new Error("App identifier missing");
+        }

     }
 
     public static String getHostName(Host h) {
     }
 
     public static String getHostName(Host h) {


@@ -150,4 +156,11 @@ public class ServerConstants {
         return appName;
     }
 
         return appName;
     }
 

+    public static String getAppIdentifier() {
+        if (appIdentifier == null) {
+            throw new Error("AppIdentifier not initialized.");
+        }
+        return appIdentifier;
+    }
+

 }
 }