From 48489e820026d2cd7fccf1fc02f12ed67349c128 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Fri, 25 Mar 2005 00:27:16 +0000
Subject: [PATCH] Catch UnsupportedOperationException thrown by
 Resource.getUrl()

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

diff --git a/src/helma/framework/core/TypeManager.java b/src/helma/framework/core/TypeManager.java
index bf9c16c9..0db4dfcb 100644
--- a/src/helma/framework/core/TypeManager.java
+++ b/src/helma/framework/core/TypeManager.java
@@ -147,7 +147,11 @@ public final class TypeManager {
             if (name.endsWith(".jar")) {
                 if (!jarfiles.contains(name)) {
                     jarfiles.add(name);
-                    loader.addURL(resource.getUrl());
+                    try {
+                        loader.addURL(resource.getUrl());
+                    } catch (UnsupportedOperationException x) {
+                        // not implemented by all kinds of resources
+                    }
                 }
             }
         }