From b929268fb6ef5216de275cdf64dbbbd76c3967c8 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Mon, 2 Dec 2002 16:10:31 +0000
Subject: [PATCH] Implement a better way to get the URL of the helma.jar file.
 To be more precise, do not rely on HOP_HOME to contain the file.

---
 src/helma/framework/core/TypeManager.java | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/helma/framework/core/TypeManager.java b/src/helma/framework/core/TypeManager.java
index 0ae4710b..cb7e3ddd 100644
--- a/src/helma/framework/core/TypeManager.java
+++ b/src/helma/framework/core/TypeManager.java
@@ -10,6 +10,7 @@ import helma.util.*;
 import java.util.*;
 import java.io.*;
 import java.net.URL;
+import java.net.URLClassLoader;
 import java.net.MalformedURLException;
 
 /**
@@ -60,7 +61,17 @@ public final class TypeManager {
         prototypes = new HashMap ();
         zipfiles = new HashMap ();
         jarfiles = new HashSet ();
-        URL helmajar = new URL ("file:"+app.home.getAbsolutePath()+"/lib/helma.jar");
+        URL[] urls = ((URLClassLoader) TypeManager.class.getClassLoader()).getURLs();
+        URL helmajar = null;
+        for (int i=0; i<urls.length; i++) {
+            String url = urls[i].toString().toLowerCase();
+            if (url.endsWith ("helma.jar")) {
+                helmajar = urls[i];
+                break;
+            }
+        }
+        if (helmajar == null) 
+            throw new RuntimeException ("helma.jar not found in embedding classpath");
         loader = new AppClassLoader(app.getName(), new URL[] { helmajar });
     }