# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1360958521 -3600
# Node ID daca661c9bc404ed2ebd02df35c0734891e63e50
# Parent  51ce6a73fcb20a2acff6f9b1f581bd4943263ca3
Just report an error to console when a classpath element can't be loaded

diff -r 51ce6a73fcb2 -r daca661c9bc4 vm/src/main/java/org/apidesign/vm4brwsr/Zips.java
--- a/vm/src/main/java/org/apidesign/vm4brwsr/Zips.java	Fri Feb 15 20:56:16 2013 +0100
+++ b/vm/src/main/java/org/apidesign/vm4brwsr/Zips.java	Fri Feb 15 21:02:01 2013 +0100
@@ -67,7 +67,7 @@
                     }
                 } catch (IOException ex) {
                     set(classpath, i, ex);
-                    throw ex;
+                    log("Cannot load " + c + " - " + ex.getClass().getName() + ":" + ex.getMessage());
                 }
             }
             if (res != null) {