diff options
Diffstat (limited to 'java/src/IceBox/Server.java')
| -rw-r--r-- | java/src/IceBox/Server.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/src/IceBox/Server.java b/java/src/IceBox/Server.java index 5fa53f2bb7f..997a7251e4b 100644 --- a/java/src/IceBox/Server.java +++ b/java/src/IceBox/Server.java @@ -29,7 +29,7 @@ public final class Server extends Ice.Application initData.properties.setProperty("Ice.Admin.DelayCreation", "1"); Server server = new Server(); - server.main("IceBox.Server", args, initData); + System.exit(server.main("IceBox.Server", args, initData)); } public int |