On Sun 17 Jul 2005 at 23:40:15 +0200, Rhialto wrote:
> In this case pan actually crashed because it ran out of memory. I'm
> not sure if that is relevant.

I can now say that it's not relevant, i.e. it is not connected to
coredumping or something like that. Exiting Pan in the normal way, after
it had grown to some 950 megabyte, has the same effect. Note that the
process size claims to be 0 (SIZE) while lots of "stuff" is apparently
still resident (RSS), which seems like a rather odd condition.

-Olaf.
-- 
___ Olaf 'Rhialto' Seibert      -- You author it, and I'll reader it.
\X/ rhialto/at/xs4all.nl        -- Cetero censeo "authored" delendum esse.