notifies all servers that serve the database that the database has been shutdown . concode_field_sep IntKeyHashMap databaseIDMap concode_elem_sep int dbIDCounter concode_elem_sep HashMap fileDatabaseMap concode_elem_sep HsqlTimer timer concode_elem_sep HashMap memDatabaseMap concode_elem_sep HashMap resDatabaseMap concode_elem_sep HashMap serverMap concode_field_sep Vector getDatabaseURIs concode_elem_sep void removeDatabase concode_elem_sep boolean isServerDB concode_elem_sep Database getDatabaseObject concode_elem_sep void registerServer concode_elem_sep Database lookupDatabaseObject concode_elem_sep void addDatabaseObject concode_elem_sep int getDatabase concode_elem_sep Database getDatabase concode_elem_sep void closeDatabases concode_elem_sep Session newSession concode_elem_sep Session newSession concode_elem_sep void deRegisterServer concode_elem_sep void deRegisterServer concode_elem_sep String filePathToKey concode_elem_sep Session getSession concode_elem_sep HsqlTimer getTimer
void function ( Database arg0 ) { Iterator loc0 = serverMap . keySet ( ) . iterator ( ) ; for ( ; loc0 . hasNext ( ) ; ) { Server loc1 = ( Server ) loc0 . next ( ) ; HashSet loc2 = ( HashSet ) serverMap . get ( loc1 ) ; if ( loc2 . contains ( arg0 ) ) { loc1 . notify ( ServerConstants . SC_DATABASE_SHUTDOWN , arg0 . databaseID ) ; } } }