Antoine Pitrou <pit...@free.fr> added the comment: > Where does it say that they are supposed to be deleted when the process > is > killed,
Well, it is more of a "natural expectation" I guess. > and what mechanism specifically is supposed to actually perform the > deletion? That's not the kind of questions users ask themselves. If the process shutdown is greatful, either __del__ or a weakref callback is adequate. We probably can't do anything for brutal killings, though. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue4928> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com