os.times() for other process

Christian Schmidt forename_dot_lastname at aifb.uni-karlsruhe.de
Mon Jan 13 06:23:33 EST 2003


With os.times() I get user and system time for the current process. How can
I get this for another process with known pid?

--
Christian Schmidt






More information about the Python-list mailing list