◐ Shell
clean mode source ↗

Message 140948 - Python tracker

Doesn't unix_terminate() also get called on Windows?  If so, what does os.kill() do on Windows?  The docs for os.kill say "New in version 3.2: Windows support."  Perhaps this was being skipped before and now has some negative effect?