On Mon, Nov 17, 2008 at 02:50:31PM +0000, Nigel Horne wrote: > No, since no core dump is created.
Is that a Hurd bug or do you have resource constraints? -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]