webidor/src/main/java/cz/xelfi/quoridor/webidor/Game.java
changeset 57 fa12b02023a0
parent 55 830e0ba29c04
child 60 74d333da1725
     1.1 --- a/webidor/src/main/java/cz/xelfi/quoridor/webidor/Game.java	Fri Sep 04 18:01:01 2009 +0200
     1.2 +++ b/webidor/src/main/java/cz/xelfi/quoridor/webidor/Game.java	Fri Sep 04 21:14:33 2009 +0200
     1.3 @@ -100,6 +100,10 @@
     1.4          }
     1.5  
     1.6          board = getBoard().apply(m);
     1.7 +        if (board.getWinner() != null) {
     1.8 +            GameResult r = board.getWinner() == board.getPlayers().get(0) ? GameResult.WHITE_WON : GameResult.BLACK_WON;
     1.9 +            id = new GameId(id.getId(), id.getWhite(), id.getBlack(), id.getStarted(), r);
    1.10 +        }
    1.11          getMoves().add(m);
    1.12      }
    1.13