diff options
| author | Marc Laukien <marc@zeroc.com> | 2002-06-23 21:17:04 +0000 |
|---|---|---|
| committer | Marc Laukien <marc@zeroc.com> | 2002-06-23 21:17:04 +0000 |
| commit | 59788b8663f1f05a95b7afbbc6d2846dae11c96a (patch) | |
| tree | c3ed292df270f11157decb83827d9af4144db52d /java/src/IceBox/Admin.java | |
| parent | file run.py was initially added on branch location. (diff) | |
| download | ice-59788b8663f1f05a95b7afbbc6d2846dae11c96a.tar.bz2 ice-59788b8663f1f05a95b7afbbc6d2846dae11c96a.tar.xz ice-59788b8663f1f05a95b7afbbc6d2846dae11c96a.zip | |
removed spaces after keywords
Diffstat (limited to 'java/src/IceBox/Admin.java')
| -rw-r--r-- | java/src/IceBox/Admin.java | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/java/src/IceBox/Admin.java b/java/src/IceBox/Admin.java index b9bddd5ecb0..f838e6ea8c1 100644 --- a/java/src/IceBox/Admin.java +++ b/java/src/IceBox/Admin.java @@ -36,14 +36,14 @@ public final class Admin java.util.ArrayList commands = new java.util.ArrayList(); int idx = 0; - while (idx < args.length) + while(idx < args.length) { - if (args[idx].equals("-h") || args[idx].equals("--help")) + if(args[idx].equals("-h") || args[idx].equals("--help")) { usage(); return 1; } - else if (args[idx].charAt(0) == '-') + else if(args[idx].charAt(0) == '-') { System.err.println(appName() + ": unknown option `" + args[idx] + "'"); usage(); @@ -56,7 +56,7 @@ public final class Admin } } - if (commands.isEmpty()) + if(commands.isEmpty()) { usage(); return 0; @@ -64,7 +64,7 @@ public final class Admin final String managerEndpointsProperty = "IceBox.ServiceManager.Endpoints"; String managerEndpoints = properties.getProperty(managerEndpointsProperty); - if (managerEndpoints.length() == 0) + if(managerEndpoints.length() == 0) { System.err.println(appName() + ": property `" + managerEndpointsProperty + "' is not set"); return 1; @@ -72,16 +72,16 @@ public final class Admin Ice.ObjectPrx base = communicator().stringToProxy("ServiceManager:" + managerEndpoints); IceBox.ServiceManagerPrx manager = IceBox.ServiceManagerPrxHelper.checkedCast(base); - if (manager == null) + if(manager == null) { System.err.println(appName() + ": `" + managerEndpoints + "' is not running"); return 1; } - for (int i = 0; i < commands.size(); i++) + for(int i = 0; i < commands.size(); i++) { String command = (String)commands.get(i); - if (command.equals("shutdown")) + if(command.equals("shutdown")) { manager.shutdown(); } |