[Freeciv-Dev] Re: [Patch] Cleanup of scorelog generation/new scorelog format (PR#1967)

[Raimar Falke <rf13@xxxxxxxxxxxxxxxxx>]

On Wed, Aug 28, 2002 at 11:12:21AM +0200, Reinier Post wrote:
> > >     for people with small disks it may be better do be a little more
> > >     space efficient
> > 
> > We can gzip the file after the game has ended.
> 
> It gzips very well.

The question is should the server gzip it or some script after the
server has quited?

> > >   - I'd prefer "player" to "addplayer": that would still be correct
> > >     if player renaming is ever implemented
> > 
> > "addplayer" is symetric to "delplayer". If we can renaming I'm for
> > adding a "ren(ame)player".
> 
> Yes, a "player" tag would also have to be used to delete players.

I don't understand. Please show how the "player" command should be
used.

> > > It would be nice to have a standalone sav2scorelog utility distributed
> > > with the code.
> > 
> > You mean a set of saves (generate with saveturns=1) are read in and a
> > scorelog is produced? If yes: why? You can just enable the scorelog in
> > the first place.
> 
> Not if you lack the disk space

This is an example here and I don't claim that this generally holds:
111 .gz savegames take 1.9m. The corresponding scorelog gzipped with
-6: 100k. So this isn't a valid excuse IMHO if we have a compressed
scorelog.

> or forgot to turn it on.

No comment.

> I wrote a sav2score utility long ago and used it often.

> > Why? It only matters if the server appends to a scorelog.
> 
> You're right, with the new format, the server doesn't need to read
> scorelogs in the first place.

It does. It had to check for example the id and the last turn to give
an error if they don't match.

        Raimar

-- 
 email: rf13@xxxxxxxxxxxxxxxxx
 "Python 2.0 beta 1 is now available [...]. There is a long list of new 
  features since Python 1.6, released earlier today. We don't plan on 
  any new releases in the next 24 hours."
    -- Jeremy Hylton at Slashdot