static void removeDatabase ( Database database ) { int dbID = database . databaseID ; String type = database . getType ( ) ; String path = database . getPath ( ) ; // A VoltDB extension to work around ENG-6044 /* disable 2 lines ... Object key = path; HashMap databaseMap; ... disabled 2 lines */ // End of VoltDB extension notifyServers ( database ) ; // A VoltDB extension to work around ENG-6044 /* disable 11 lines ... if (type == DatabaseURL.S_FILE) { databaseMap = fileDatabaseMap; key = filePathToKey(path); } else if (type == DatabaseURL.S_RES) { databaseMap = resDatabaseMap; } else if (type == DatabaseURL.S_MEM) { databaseMap = memDatabaseMap; } else { throw (Error.runtimeError( ErrorCode.U_S0500, "DatabaseManager.lookupDatabaseObject()")); } ... disabled 11 lines */ assert ( type == DatabaseURL . S_MEM ) ; java . util . HashMap < String , Database > databaseMap = memDatabaseMap ; String key = path ; // End of VoltDB extension databaseIDMap . remove ( dbID ) ; databaseMap . remove ( key ) ; if ( databaseIDMap . isEmpty ( ) ) { ValuePool . resetPool ( ) ; } }
Removes the database from registry .