Catch UnsupportedOperationException thrown by Resource.getUrl()

This commit is contained in:
hns 2005-03-25 00:27:16 +00:00
parent fdf3915d9e
commit 48489e8200

View file

@ -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
}
}
}
}