diff options
| author | Michi Henning <michi@zeroc.com> | 2003-08-08 06:59:35 +0000 |
|---|---|---|
| committer | Michi Henning <michi@zeroc.com> | 2003-08-08 06:59:35 +0000 |
| commit | 7225dff8fbdc167a06faeb0e9fd2c46d826748d8 (patch) | |
| tree | dd7b5217baeacb13c88cac084ef96a3cb8c10c8d /java/src/IceBox/ServiceManagerI.java | |
| parent | info on tests (diff) | |
| download | ice-7225dff8fbdc167a06faeb0e9fd2c46d826748d8.tar.bz2 ice-7225dff8fbdc167a06faeb0e9fd2c46d826748d8.tar.xz ice-7225dff8fbdc167a06faeb0e9fd2c46d826748d8.zip | |
Added Properties::parseIceCommandLineOptions().
Diffstat (limited to 'java/src/IceBox/ServiceManagerI.java')
| -rw-r--r-- | java/src/IceBox/ServiceManagerI.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/src/IceBox/ServiceManagerI.java b/java/src/IceBox/ServiceManagerI.java index 1a93a70df4b..0da230ea722 100644 --- a/java/src/IceBox/ServiceManagerI.java +++ b/java/src/IceBox/ServiceManagerI.java @@ -252,7 +252,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp Ice.Properties fileProperties = Ice.Util.createProperties(serviceArgs); properties.parseCommandLineOptions("", fileProperties.getCommandLineOptions()); - serviceArgs = properties.parseCommandLineOptions("Ice", serviceArgs); + serviceArgs = properties.parseIceCommandLineOptions(serviceArgs); serviceArgs = properties.parseCommandLineOptions(service, serviceArgs); } else @@ -272,7 +272,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp Ice.Properties fileProperties = Ice.Util.createProperties(serviceArgs); serviceProperties.parseCommandLineOptions("", fileProperties.getCommandLineOptions()); - serviceArgs = serviceProperties.parseCommandLineOptions("Ice", serviceArgs); + serviceArgs = serviceProperties.parseIceCommandLineOptions(serviceArgs); serviceArgs = serviceProperties.parseCommandLineOptions(service, serviceArgs); info.communicator = Ice.Util.initializeWithProperties(new String[0], serviceProperties); |