07-02-2021, 02:48 PM
(07-01-2021, 09:05 AM)MatthewStephenson Wrote: 7. The players' names are not reset after leaving an online game.
I wasn't able to replicate this problem with the latest release of Ludii (v1.2.1). If I join an online game, the player names change to those of the online players, however if I then select Game -> Leave Game the player names revert to their original offline names. Are you performing this or a different process?
I think I have seen you say this before and I had forgotten to try it. However I have several points to make here.
1. "Leave the Game" sounds a lot like "resign". I think no one will try this unless explicitly told to do so and that it is different from resign.
2. There is a "Leave" tab on the Remote dialog, but was grayed out. I am not sure what that was for.
3. I did finally try it and it seemed not to work. However since I have been previously been only using Ludii to play this one remote game for about a week, I don't think it was a fair test. I will try again later making sure it is a fair test.
4. So basically I am saying that even if this works, it is very unintuitive. Would it be impossible to leave a game automatically when a Ludii is closed if the current game is a remote game?