comparison python/sshdiff.py @ 180:f52486ceadee

handle defunct processes
author Jeff Hammel <jhammel@mozilla.com>
date Tue, 08 Nov 2011 17:11:35 -0800
parents c4aaaa6d9c13
children
comparison
equal deleted inserted replaced
179:a5061b41a781 180:f52486ceadee