>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> Grmpf. The patch works allright, but the whole exitEarly_ Martin> situation is a mess. Yes, it is ugly. Martin> But I suppose the patch improves things and should be applied Martin> for 1.4. I think I'll keep it for 1.4.2. JMarc