[Bug-gnubg] Setting the random seed

[Timothy Y. Chow]

Currently I do the majority of my rollouts (on my Linux box) by preparing 
a text file that looks something like this---

set gnubgid 0DNjwDDg6+ABDA:cAkTAAAAAAAA
hint
cmark move set rollout 1 2 3
analyse rollout move
save position "mypos.sgf"

---and then piping it to "gnubg -t".  What I want to do is to set the seed 
for the random number generator.  If I add the command "set seed 123" to 
the above text file, e.g., just before "analyse rollout move", then gnubg 
will report "Seed set to 123".  However, this is apparently a lie, because 
if you examine the actual rollout results, the seed used will *not* be 
123.  How do I set the seed to 123?

Tim