Antoine Pitrou added the comment: Well, it's unclear to me why we would want to remove the __main__ module first, rather than last. ---------- nosy: +pitrou _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue21925> _______________________________________