Changeset 35484 for main/trunk

Timestamp:

2021-09-25T23:38:18+12:00 (3 years ago)

Author:

davidb

Message:

Java support for: Workpackaged themed color scheme for DL

File:

• main/trunk/greenstone3/src/java/org/greenstone/gsdl3/util/GSParams.java (modified) (5 diffs)

main/trunk/greenstone3/src/java/org/greenstone/gsdl3/util/GSParams.java

@@ -91 +91 @@
     public static final String DEBUG = "debug";
 
-  public static final String SERVICE_PREFIX = "s1";
-  public static final String PREVIOUS_PREFIX = "p";
-  public static final String MD_PREFIX = "md___";
+  public static final String SERVICE_PREFIX   = "s1";
+  public static final String PREVIOUS_PREFIX  = "p";
+  public static final String MD_PREFIX        = "md___";
+  public static final String SAVEPARAM_PREFIX = "jsession";
 
   public static final String SERVICE_PARAM_REGEX = "^s\\d\\..*";
@@ -131 +132 @@
     }
 
-    public boolean addParameter(String name, boolean save, boolean sensitive) {
+        public boolean addParameter(String name, boolean save, boolean sensitive)
+        {
         if (this.param_map.containsKey(name))
         {
@@ -139 +141 @@
         this.param_map.put(name, new Param("", save, sensitive));
         return true;
-  }
+    }
+    
     public boolean addParameter(String name, String default_value, boolean save)
     {
@@ -201 +204 @@
     {
         // p. is used to store previous settings
-        if (name.startsWith(PREVIOUS_PREFIX+".") || name.startsWith(MD_PREFIX))
+            if (name.startsWith(PREVIOUS_PREFIX+".") || name.startsWith(MD_PREFIX)) {
             return false;
+        }
+        else if (name.startsWith(SAVEPARAM_PREFIX+".")) {
+            return true;
+        }
+        
         Param p;
         if (name.matches(SERVICE_PARAM_REGEX)) {
@@ -214 +222 @@
           return false; // never save unknown params
         }
+        
         return p.save;
     }