Two parameters are enough to specify port and URL of API
authorJaroslav Tulach <jaroslav.tulach@apidesign.org>
Sun, 25 Oct 2009 14:42:33 +0100
changeset 13223055e2d6539
parent 131 19e81456eef2
child 133 d83dc9d624e8
Two parameters are enough to specify port and URL of API
freemarkerdor/src/main/java/cz/xelfi/quoridor/freemarkerdor/UI.java
     1.1 --- a/freemarkerdor/src/main/java/cz/xelfi/quoridor/freemarkerdor/UI.java	Sun Oct 25 14:24:58 2009 +0100
     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);