Changeset 10677

Timestamp:

2005-10-03T16:39:41+13:00 (19 years ago)

Author:

kjdon

Message:

make sure teh path separators are correct for gsdl3_home

File:

• trunk/gsdl3/src/java/org/greenstone/gsdl3/util/GlobalProperties.java (modified) (2 diffs)

trunk/gsdl3/src/java/org/greenstone/gsdl3/util/GlobalProperties.java

@@ -2 +2 @@
 
 import java.util.Properties;
+import java.io.File;
 import java.io.InputStream;
 
@@ -50 +51 @@
         }
         gsdl3_home = properties.getProperty("gsdl3.home");
+        // make sure the path separators are correct
+        File gs3_file = new File(gsdl3_home);
+        gsdl3_home = gs3_file.getPath();
         gsdl3_web_address = "http://"+ properties.getProperty("tomcat.server")+":"+ properties.getProperty("tomcat.port")+"/"+properties.getProperty("tomcat.context");
     } catch (Exception e) {