// we need to increase the number of available places in this game
// to allow this new player to be added to it with game.joinGame
if (serverGame!=null) {
game.setMaxPlayers( game.getMaxPlayers()+1 );
}
game.joinGame( user );
database.saveGame(game);
}
finally {
database.endTransaction();