Martin v. Löwis <mar...@v.loewis.de> added the comment: Unfortunately, I typically don't have time to consider the priority of issues.
However, in the specific case, I also fail to see the bug. Where does it say that they are supposed to be deleted when the process is killed, and what mechanism specifically is supposed to actually perform the deletion? ---------- _______________________________________ 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
