On Mon, Jul 19, 2010 at 11:41 PM, Olaf van der Spek <[email protected]> wrote: > Doesn't this output extra stuff during startup?
And shouldn't it be done for a restart as well? Olaf -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

