diff options
Diffstat (limited to 'java/src/IceBox/Server.java')
| -rw-r--r-- | java/src/IceBox/Server.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/java/src/IceBox/Server.java b/java/src/IceBox/Server.java index 7f367d4bb09..59d85d0e824 100644 --- a/java/src/IceBox/Server.java +++ b/java/src/IceBox/Server.java @@ -32,6 +32,7 @@ public final class Server extends Ice.Application System.exit(server.main("IceBox.Server", args, initData)); } + @Override public int run(String[] args) { @@ -40,8 +41,8 @@ public final class Server extends Ice.Application java.util.Map<String, String> services = properties.getPropertiesForPrefix(prefix); java.util.List<String> argSeq = new java.util.ArrayList<String>(args.length); for(String s : args) - { - argSeq.add(s); + { + argSeq.add(s); } for(java.util.Map.Entry<String, String> entry : services.entrySet()) |