[gnugo-devel] GnuGo violates time_settings?

[TS]

1) Eg "time_settings 0 4 1" -> gnugo will play maybe 3 fast moves, then 
take 10 seconds for his next move.
Any idea what might be causing this? I don't believe that this is just a 
"normal bug", since that would've surfaced a long time ago and been 
fixed by now.

2) Also, easily reproducable:
Try to change params while a game is in progress by just calling "level 
10" and "time_settings 0 <whatever> 1" before calling the actual 
"genmove white" (assuming gnugo is w here) and gnugo will always just 
timeout and not generate any move anymore.