483484485486487488489490491492493
removed = databases.remove(db); } } if (removed) { server.notify(db.databaseID); } } } static boolean isServerDB(Database db) {