// Inherit interface docs.
@Override
public void closeTable(TableInfo tableInfo) throws IOException {
// Remove this table from the cache since it's about to be closed.
openTables.remove(tableInfo.getTableName());
DBFile dbFile = tableInfo.getTupleFile().getDBFile();
// Flush all open pages for the table.
storageManager.getBufferManager().flushDBFile(dbFile);
storageManager.getFileManager().closeDBFile(dbFile);
}
