Georg Brandl <ge...@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 <rep...@bugs.python.org> <http://bugs.python.org/issue12540> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
