Geoff Topping - 2011-07-23

This still happens as of this writing. Test: start a multiplayer game with one player as an observer and open the observer's menu, and then kill the other player's client, so the server aborts the game. The observer player is booted to the splash screen, but the menu remains open.