Thanks. That will save me re-booting my dozen BOs. At 03:01 PM 2/19/2013, you wrote: >The only time I would reboot is when you want to boot a new kernel.