Esempio n. 1
0
    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)
Esempio n. 2
0
    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)