diff options
| author | Benoit Foucher <benoit@zeroc.com> | 2005-04-06 08:35:37 +0000 |
|---|---|---|
| committer | Benoit Foucher <benoit@zeroc.com> | 2005-04-06 08:35:37 +0000 |
| commit | 2c3876e8fcf9578bc19aba8cd576769853a30103 (patch) | |
| tree | 427d31972c0c1e4199c05ee7d68185ba7c9c3a5b /java/src/IceBox/ServiceManagerI.java | |
| parent | Added missing call addOpt("E"); (diff) | |
| download | ice-2c3876e8fcf9578bc19aba8cd576769853a30103.tar.bz2 ice-2c3876e8fcf9578bc19aba8cd576769853a30103.tar.xz ice-2c3876e8fcf9578bc19aba8cd576769853a30103.zip | |
Changed the ServerManagerI implementation class to allow specialization
(see forum thread 1301)
Diffstat (limited to 'java/src/IceBox/ServiceManagerI.java')
| -rw-r--r-- | java/src/IceBox/ServiceManagerI.java | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/java/src/IceBox/ServiceManagerI.java b/java/src/IceBox/ServiceManagerI.java index a98a1f106d0..14ffd437861 100644 --- a/java/src/IceBox/ServiceManagerI.java +++ b/java/src/IceBox/ServiceManagerI.java @@ -9,7 +9,11 @@ package IceBox; -public final class ServiceManagerI extends _ServiceManagerDisp +// +// NOTE: the class isn't final on purpose to allow users to eventually +// extend it. +// +public class ServiceManagerI extends _ServiceManagerDisp { public ServiceManagerI(Ice.Application server, String[] args) @@ -31,7 +35,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp _server.communicator().shutdown(); } - int + protected int run() { try |