os.times() for other process

[Donn Cave]

Quoth "Christian Schmidt" <surname.forename at aifb.uni-karlsruhe.de>:
...
| Yes, this helps. But only on Windows...
| On Linux I can parse /proc/pid/stat, but I was hoping that I could access
| these values without parsing.

I missed the original post, but I wonder if
resource.getrusage(resource.RUSAGE_CHILDREN) would work for UNIX
plaforms.

	Donn Cave, donn at drizzle.com