[Freeciv-Dev] Re: pubserver running out of disk space

[rp@xxxxxxxxxx (Reinier Post)]

On Fri, Aug 26, 2005 at 12:20:07PM +0000, Per Inge Mathisen wrote:
> On Fri, 26 Aug 2005, Reinier Post wrote:
> > So they have to be called by hand, or you just use rm -rf on
> > suitable directories.Yesterday /home/freeciv filled up; I just ran
> > cleanup-unused-code to make space.I will look into automating this.
> 
> Why not just delete savegames once the processes that need them are done?

For the savegames: the scripts occasionally fail or malfunction.
For example, it seems the present pubserver let the games begin
in 2000 BC rather than 4000 BC.  This kind of thing happens
due to evolution of the civserver code base.

I have on occasion fixed scripts and than rerun them on old directories.
The reporting scripts have been written to be reentrant in this way;
I'm not sure about the present ranking scripts.

For the generated civserver compiles: there really is no need to keep them
once they are no longer referred to within the civservers script.  But for
the automatically recompiled servers you have to be really sure no running
servers are going to use or still using the codebase before deleting it;
the clean-unused-codebase script may not check this thoroughly enough.

-- 
Reinier