/** * {@inheritDoc} * For now, close the source that is no longer being used. In the future, we may implement an MRU that allows multiple pages to be opened at a time */ @Override protected void sourceReleased(IRandomAccessSource source) throws java.io.IOException { IRandomAccessSource old = mru.enqueue(source); if (old != null) old.close(); }
/** * {@inheritDoc} * For now, close the source that is no longer being used. In the future, we may implement an MRU that allows multiple pages to be opened at a time */ @Override protected void sourceReleased(IRandomAccessSource source) throws java.io.IOException { IRandomAccessSource old = mru.enqueue(source); if (old != null) old.close(); }