diff --git a/src/helma/main/launcher/Main.java b/src/helma/main/launcher/Main.java index d3c2942c..e09f94f9 100644 --- a/src/helma/main/launcher/Main.java +++ b/src/helma/main/launcher/Main.java @@ -4,6 +4,7 @@ package helma.main.launcher; import java.net.URLClassLoader; import java.net.URL; +import java.net.URLDecoder; import java.io.File; import java.io.FilenameFilter; import java.lang.reflect.Method; @@ -64,9 +65,13 @@ public class Main { } catch (Exception x) { // unable to get Helma installation dir from launcher jar System.err.println ("Unable to get Helma installation directory: "+x); + System.exit (2); } } + // decode installDir in case it is URL-encoded + installDir = URLDecoder.decode (installDir); + // set up the class path File libdir = new File (installDir, "lib"); ArrayList jarlist = new ArrayList (); @@ -83,13 +88,15 @@ public class Main { } }); if (files != null) - for (int i=0;i