def __del__(self): dead = [] for m in ResourceManager.mgrs: if not m(): dead.append(m) for m in dead: ResourceManager.mgrs.remove(m) EventManager.__del__(self)