Message140974
Hmm, on the other hand there may be valid use cases for using os.kill() with a PID. Argh. |
|
Date |
User |
Action |
Args |
2011-07-23 11:21:27 | georg.brandl | set | recipients:
+ georg.brandl, loewis, terry.reedy, kbk, vstinner, tim.golden, ned.deily, eli.bendersky, brian.curtin, sunqiang, Peter.Caven, Aneesh |
2011-07-23 11:21:27 | georg.brandl | set | messageid: <1311420087.11.0.00103335883756.issue12540@psf.upfronthosting.co.za> |
2011-07-23 11:21:26 | georg.brandl | link | issue12540 messages |
2011-07-23 11:21:26 | georg.brandl | create | |
|