diff python/which.py @ 180:f52486ceadee

handle defunct processes
author Jeff Hammel <jhammel@mozilla.com>
date Tue, 08 Nov 2011 17:11:35 -0800
parents b91750a108b2
children e4221e45d6c1
line wrap: on
line diff