changeset 132 | 23055e2d6539 |
parent 129 | fd95f7873b96 |
child 146 | 0b889d9e4ee1 |
1.1 --- a/freemarkerdor/src/main/java/cz/xelfi/quoridor/freemarkerdor/UI.java Sat Oct 24 08:42:37 2009 +0200 1.2 +++ b/freemarkerdor/src/main/java/cz/xelfi/quoridor/freemarkerdor/UI.java Sun Oct 25 14:42:33 2009 +0100 1.3 @@ -320,7 +320,7 @@ 1.4 if (args.length > 1) { 1.5 port = Integer.parseInt(args[0]); 1.6 } 1.7 - String remoteAPI = args.length > 2 ? args[1] : null; 1.8 + String remoteAPI = args.length >= 2 ? args[1] : null; 1.9 1.10 1.11 Callable<Void> r = startServers(port, remoteAPI);