diff options
| author | Dwayne Boone <dwayne@zeroc.com> | 2007-02-14 14:56:46 +0000 |
|---|---|---|
| committer | Dwayne Boone <dwayne@zeroc.com> | 2007-02-14 14:56:46 +0000 |
| commit | 20591078bc1c9e6b8d15f1783cbc2eef4fa435c2 (patch) | |
| tree | 5332c02bbfffa309678ebe850d2626bd71034146 /java/src/IceBox/Admin.java | |
| parent | More Ice.OA fixes (diff) | |
| download | ice-20591078bc1c9e6b8d15f1783cbc2eef4fa435c2.tar.bz2 ice-20591078bc1c9e6b8d15f1783cbc2eef4fa435c2.tar.xz ice-20591078bc1c9e6b8d15f1783cbc2eef4fa435c2.zip | |
Remove Ice.OA.
Diffstat (limited to 'java/src/IceBox/Admin.java')
| -rw-r--r-- | java/src/IceBox/Admin.java | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/java/src/IceBox/Admin.java b/java/src/IceBox/Admin.java index 79a88217d46..d83b4d1cc15 100644 --- a/java/src/IceBox/Admin.java +++ b/java/src/IceBox/Admin.java @@ -68,12 +68,7 @@ public final class Admin String managerProxy; if(properties.getProperty("Ice.Default.Locator").length() == 0) { - // - // DEPREACTED PROPERTIES: Remove extra code in future release. - // - String managerEndpoints = - properties.getPropertyWithDefault("Ice.OA.IceBox.ServiceManager.Endpoints", - properties.getProperty("IceBox.ServiceManager.Endpoints")); + String managerEndpoints = properties.getProperty("IceBox.ServiceManager.Endpoints"); if(managerEndpoints.length() == 0) { System.err.println(appName() + ": property `IceBox.ServiceManager.Endpoints' is not set"); @@ -84,12 +79,7 @@ public final class Admin } else { - // - // DEPREACTED PROPERTIES: Remove extra code in future release. - // - String managerAdapterId = - properties.getPropertyWithDefault("Ice.OA.IceBox.ServiceManager.AdapterId", - properties.getProperty("IceBox.ServiceManager.AdapterId")); + String managerAdapterId = properties.getProperty("IceBox.ServiceManager.AdapterId"); if(managerAdapterId.length() == 0) { System.err.println(appName() + ": property `IceBox.ServiceManager.AdapterId' is not set"); |