On Wed, Sep 10, 2008 at 11:19:59AM +0200, Lionel Elie Mamane wrote: (...) > but no corefile. OK, I have understood why I was not getting a corefile. (See my commit of revision 6188.) Just have to wait now. -- Lionel