[Top][All Lists]
[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!