[Freeciv-Dev] Re: CVS crash dd. Mon Jan 7 (PR#647)

[Reinier Post <rp@xxxxxxxxxx>]

> What was the size of the map?

Dunno.  80x50 I think.
 
> > The core file has been wiped, I'll make sure they will be preserved in the
> > future.
> 
> good idea if you want it fixed :).

It was a bug in the cleanup script.   It saved the core, then deleted it
on the next run :)

Anyway, the next occurrence of this bug is safely stored at

  civserver.freeciv.org:/home/freeciv/.freeciv/games/1532.core 

-- 
Reinier