[issue6554] Do we have something like os.pid_exists()?

2009-07-23 Thread Patricio Mariano Molina
Patricio Mariano Molina added the comment: Sounds good. And what do you think about os.pid_exists() using /proc/ or a Windows API? -- ___ Python tracker <http://bugs.python.org/issue6

[issue6554] Do we have something like os.pid_exists()?

2009-07-23 Thread Patricio Mariano Molina
Patricio Mariano Molina added the comment: Hey Jean-Paul, thanks for the quick reply! You're right, but I wasn't thinking too much about optimization: I think it would be useful to have that simple function, returning True or False. I use to search for active PIDs *a lot* with Pyth

[issue6554] Do we have something like os.pid_exists()?

2009-07-23 Thread Patricio Mariano Molina
New submission from Patricio Mariano Molina : I couldn't find anything like os.pid_exists() in Python 2.5/2.6, neither in bugs.python.org (this *could* be a dupe) Do we have something like that? Right now I'm doing this: try: os.kill(int(pid), 0) return True except OSError:

[issue4031] 08 value popups an stdin error, no date handle allowed

2008-10-03 Thread patricio
New submission from patricio <[EMAIL PROTECTED]>: a = 08 print a File"",line 1 a = 08 < syntax error:invalid token (if I use 07, the 0 is supressed but it compiles & display the 7) -- messages: 74258 nosy: pgimelli severity: normal status: open title: 0