public synchronized void dispose() { for (DataFileAccessor reader : pool) { reader.dispose(); } pool.clear(); disposed = true; }
public synchronized void closeDataFileReader(DataFileAccessor reader) { openCounter--; if (pool.size() >= maxOpenReadersPerFile || disposed) { reader.dispose(); } else { pool.add(reader); } }
synchronized void closeDataFileAccessor(DataFileAccessor reader) { Pool pool = pools.get(reader.getDataFile().getDataFileId()); if (pool == null || closed) { reader.dispose(); } else { pool.closeDataFileReader(reader); } }
public synchronized void dispose() { for (DataFileAccessor reader : pool) { reader.dispose(); } pool.clear(); disposed = true; }
public synchronized void dispose() { for (DataFileAccessor reader : pool) { reader.dispose(); } pool.clear(); disposed = true; }
public synchronized void dispose() { for (DataFileAccessor reader : pool) { reader.dispose(); } pool.clear(); disposed = true; }
public synchronized void closeDataFileReader(DataFileAccessor reader) { openCounter--; if (pool.size() >= maxOpenReadersPerFile || disposed) { reader.dispose(); } else { pool.add(reader); } }
public synchronized void closeDataFileReader(DataFileAccessor reader) { openCounter--; if (pool.size() >= maxOpenReadersPerFile || disposed) { reader.dispose(); } else { pool.add(reader); } }
public synchronized void closeDataFileReader(DataFileAccessor reader) { openCounter--; if (pool.size() >= maxOpenReadersPerFile || disposed) { reader.dispose(); } else { pool.add(reader); } }
synchronized void closeDataFileAccessor(DataFileAccessor reader) { Pool pool = pools.get(reader.getDataFile().getDataFileId()); if (pool == null || closed) { reader.dispose(); } else { pool.closeDataFileReader(reader); } }
synchronized void closeDataFileAccessor(DataFileAccessor reader) { Pool pool = pools.get(reader.getDataFile().getDataFileId()); if (pool == null || closed) { reader.dispose(); } else { pool.closeDataFileReader(reader); } }
synchronized void closeDataFileAccessor(DataFileAccessor reader) { Pool pool = pools.get(reader.getDataFile().getDataFileId()); if (pool == null || closed) { reader.dispose(); } else { pool.closeDataFileReader(reader); } }