bug-gnubg
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-gnubg] Player records


From: Joern Thyssen
Subject: Re: [Bug-gnubg] Player records
Date: Thu, 3 Oct 2002 07:05:14 +0000
User-agent: Mutt/1.4i

On Wed, Oct 02, 2002 at 11:02:32AM +0100, Ian Shaw wrote
> When I select Analyse...Player Records I get the message:
> 
> ./.gnubgpr No such file or directory exists
> 
> If  I do Add To Player Records...Match Statistics I get the same message, but 
> a file is created .gnubgpr552451
> 
> Is there a problem or am I not using it correctly? I cant' find any
> help on it

It's a windows related problem. I commited an experimental fix the other
day, and Nardy confirmed that the fix did indeed fix the problem.

Wait for the next build :-)


The logic for adding a player's record is:

* read records from .gnubgpr
* calculate new records
* write new records to .gnubgprXXXXX
* rename .gnubgprXXXXX to .gnubgpr

However, for some reason the last step fails on wintendo. I've modified
the logic to:

* read records from .gnubgpr
* calculate new records
* write new records to .gnubgprXXXXX
* delete .gnubgpr
* rename .gnubgprXXXXX to .gnubgpr

which apparently seems to work -- don't ask me why :-)

For those of you wondering what XXXXX is: it's the number of seconds
since Jan 1 1970 modulo 100000 on wintendo, and the process ID modulo
100000 on unix boxes.

Jørn

-- 
Joern Thyssen, PhD
Vendsysselgade 3, 3., DK-9000 Aalborg, Denmark
+45 9813 2791 (private) / +45 2818 0183 (mobile) / +45 9633 7036 (work)
Note: new mobile number!




reply via email to

[Prev in Thread] Current Thread [Next in Thread]