1.1 --- a/mdr/src/org/netbeans/mdr/persistence/btreeimpl/btreestorage/FileCache.java	Sat Oct 30 11:57:20 2004 +0000
     1.2 +++ b/mdr/src/org/netbeans/mdr/persistence/btreeimpl/btreestorage/FileCache.java	Fri Nov 05 14:58:33 2004 +0000
     1.3 @@ -294,6 +294,9 @@
     1.4                  flushFailure);
     1.5              FileCache owner = page.getOwner();
     1.6              assert owner != null;
     1.7 +            
     1.8 +            if (!instances.contains(owner)) return; // obsolete page from an old cache that was deactivated
     1.9 +
    1.10              RandomAccessFile file = owner.files[page.key.fileIndex];
    1.11              file.seek(page.key.offset);
    1.12              file.write(page.contents);