diff python/unroll_deps.py @ 180:f52486ceadee

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