Antoine Pitrou <pit...@free.fr> added the comment: Armin's proposal is in #812369, closing this bug. (it is not obvious Armin's patch is enough to solve the problem at hand, but the problem is well-known anyway and there are certainly other bug entries pointing to it :-))
---------- nosy: +pitrou resolution: -> duplicate status: open -> closed superseder: -> module shutdown procedure based on GC _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue1717900> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
