Refresh page after server-caused reconnect, unless in game
tannerkrewson opened this issue · comments
As of #30, if the server is updated and restarted, the clients can reconnect to it without getting the latest client-side code. In case there have been client-side code changes, let's refresh the page after a reconnect, but only if the users are not in-game, because we don't want to disturb them. It can refresh directly after the exit the game and go back to the party screen.