Bug#728127: "end game" ends the whole session

2014-03-22 Thread Russ Allbery
Stefano Zacchiroli writes: > This seems, in fact, to be a bug in how the "end game" functionality is > implemented. Here is what happens, according to the console log, when > using the "end game" button in the UI: > (Game over) new match 3 > (zack) end game > play > (gnubg) (Game over) n

Bug#728127: "end game" ends the whole session

2014-03-22 Thread Russ Allbery
Hi Stefano, Sorry about the long, long delay in getting back to this. Stefano Zacchiroli writes: > On Mon, Oct 28, 2013 at 08:08:41PM -0700, Russ Allbery wrote: >> I think I may be missing something here, but what semantics do you >> believe ending the current game in the middle of a match shou

Bug#728127: "end game" ends the whole session

2013-10-29 Thread Stefano Zacchiroli
Hey Russ, On Mon, Oct 28, 2013 at 08:08:41PM -0700, Russ Allbery wrote: > I think I may be missing something here, but what semantics do you believe > ending the current game in the middle of a match should have? Off-hand, > that doesn't seem like a sensible action to me, since wouldn't it then >

Bug#728127: "end game" ends the whole session

2013-10-28 Thread Russ Allbery
Stefano Zacchiroli writes: > When playing a multi-game match, there seems to be no way of asking GNU > Backgammon to only end the *current* game (which is particularly handy > when one is, say, exercising middle-game and is not interested in > playing bear-off phases). > This seems, in fact, to

Bug#728127: "end game" ends the whole session

2013-10-28 Thread Stefano Zacchiroli
Package: gnubg Version: 1.02.000-2 Severity: normal Tags: upstream When playing a multi-game match, there seems to be no way of asking GNU Backgammon to only end the *current* game (which is particularly handy when one is, say, exercising middle-game and is not interested in playing bear-off phase