Changeset 36091 for main

Timestamp:

2022-03-10T08:56:02+13:00 (2 years ago)

Author:

kjdon

Message:

check that servlet arg starts with /, and add one if it doesn't

File:

• main/trunk/gli/src/org/greenstone/gatherer/GetOpt.java (modified) (1 diff)

main/trunk/gli/src/org/greenstone/gatherer/GetOpt.java

@@ -203 +203 @@
             }
             else if (argument_name.equals(StaticStrings.SERVLET_ARGUMENT)) {
-            servlet_path = argument_value;
+            if (argument_value.startsWith(StaticStrings.URL_SEPARATOR_CHARACTER)) {
+                servlet_path = argument_value;
+            } else {
+                servlet_path = StaticStrings.URL_SEPARATOR_CHARACTER + argument_value;
+            }
             }
             // Specify a non-standard collect directory to use (for running one GLI in a network environment)