Comment by mattgatto:
General Comment:
OK, after looking again and to be more precise, the
ICGameModel._disconnect() method occurs when the gamewidget has been
removed/closed while the game is running. If the game ended normally it
seems like _disconnect() won't run (regardless of whether the gamewidget
gets closed/removed later on), which is probably a bug and would cause
issue 885.