comparison python/prefs.py @ 180:f52486ceadee

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