rt/vm/src/main/java/org/apidesign/vm4brwsr/VM.java
changeset 1825 e678bb6beb1f
parent 1798 18b3a9a85716
child 1840 9d011ab3c192
     1.1 --- a/rt/vm/src/main/java/org/apidesign/vm4brwsr/VM.java	Fri Feb 27 18:11:54 2015 +0100
     1.2 +++ b/rt/vm/src/main/java/org/apidesign/vm4brwsr/VM.java	Wed Apr 15 17:21:28 2015 +0200
     1.3 @@ -691,6 +691,7 @@
     1.4          @Override
     1.5          protected void requireResource(String resourcePath) throws IOException {
     1.6              requireResourceImpl(resourcePath);
     1.7 +            super.asBinary.remove(resourcePath);
     1.8          }
     1.9      }
    1.10  
    1.11 @@ -791,6 +792,7 @@
    1.12          @Override
    1.13          protected void requireResource(String resourcePath) throws IOException {
    1.14              requireResourceImpl(resourcePath);
    1.15 +            super.asBinary.remove(resourcePath);
    1.16          }
    1.17      }
    1.18  }