diff options
Diffstat (limited to 'java/src/IceBox/ServiceManagerI.java')
| -rw-r--r-- | java/src/IceBox/ServiceManagerI.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/src/IceBox/ServiceManagerI.java b/java/src/IceBox/ServiceManagerI.java index 338078c5310..6c0046f696b 100644 --- a/java/src/IceBox/ServiceManagerI.java +++ b/java/src/IceBox/ServiceManagerI.java @@ -124,7 +124,7 @@ public final class ServiceManagerI extends _ServiceManagerDisp } _server.communicator().waitForShutdown(); - _server.ignoreInterrupt(); + _server.defaultInterrupt(); // // Invoke stop() on the services. |