# HG changeset patch # User Jaroslav Tulach # Date 1256478153 -3600 # Node ID 23055e2d65394592d470e356c3a353aaa87165e7 # Parent 19e81456eef297b676dc92a09acd5e1ce5641d5d Two parameters are enough to specify port and URL of API diff -r 19e81456eef2 -r 23055e2d6539 freemarkerdor/src/main/java/cz/xelfi/quoridor/freemarkerdor/UI.java --- a/freemarkerdor/src/main/java/cz/xelfi/quoridor/freemarkerdor/UI.java Sun Oct 25 14:24:58 2009 +0100 +++ b/freemarkerdor/src/main/java/cz/xelfi/quoridor/freemarkerdor/UI.java Sun Oct 25 14:42:33 2009 +0100 @@ -320,7 +320,7 @@ if (args.length > 1) { port = Integer.parseInt(args[0]); } - String remoteAPI = args.length > 2 ? args[1] : null; + String remoteAPI = args.length >= 2 ? args[1] : null; Callable r = startServers(port, remoteAPI);