def drop(self, db_name):
        """Drops a db from the DatabasesHandler, and sync it
        to store file"""
        db_uid = self.index['name_to_uid'].pop(db_name)
        db_path = self[db_uid]['path']

        self.pop(db_uid)
        self.store_remove(db_name)

        try:
            rmtree(db_path)
        except __HOLE__:
            return failure(DATABASE_ERROR, "Cannot drop db : %s, files not found")

        return success()
dataset/ETHPy150Open oleiade/Elevator/debian/elevator/usr/lib/python2.6/dist-packages/elevator/db.py/DatabasesHandler.drop