diff 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
line wrap: on
line diff