[issue12540] "Restart Shell" command leaves pythonw.exe processes running

[Georg Brandl]

Georg Brandl <georg at python.org> added the comment:

Hmm, on the other hand there may be valid use cases for using os.kill() with a PID.  Argh.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue12540>
_______________________________________