vregistry.py
changeset 4436 294e084f1263
parent 4333 7add8a73a168
parent 4425 b9913205d91e
child 4490 d45cde54d464
equal deleted inserted replaced
4434:101344a6ff9b 4436:294e084f1263
   120         oid = class_regid(obj)
   120         oid = class_regid(obj)
   121         for registered in self.get(oid, ()):
   121         for registered in self.get(oid, ()):
   122             # use classid() to compare classes because vreg will probably
   122             # use classid() to compare classes because vreg will probably
   123             # have its own version of the class, loaded through execfile
   123             # have its own version of the class, loaded through execfile
   124             if classid(registered) == clsid:
   124             if classid(registered) == clsid:
   125                 # XXX automatic reloading management
       
   126                 self[oid].remove(registered)
   125                 self[oid].remove(registered)
   127                 break
   126                 break
   128         else:
   127         else:
   129             self.warning('can\'t remove %s, no id %s in the registry',
   128             self.warning('can\'t remove %s, no id %s in the registry',
   130                          clsid, oid)
   129                          clsid, oid)