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