}
User user = database.getUser(username);
username = user.getName(); // as the case may have not been exactly correct when this method was called
game.leaveGame( user );
if (serverGame==null) {
gameRemoved = destroyGameCheck(serverGame,gameId);
}
else {