Patricio Mariano Molina <patriciomol...@gmail.com> 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 Python Do you think is a "YAGNI" case? ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue6554> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
