From 53e43d2e659e6331f975bfbde91f3c5270f9c0cb Mon Sep 17 00:00:00 2001
From: Jose <jose@zeroc.com>
Date: Mon, 24 Jan 2011 18:56:00 +0100
Subject:  4944 Database/library doesn't call System.exit

---
 java/demo/Database/library/Server.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'java/demo/Database/library/Server.java')

diff --git a/java/demo/Database/library/Server.java b/java/demo/Database/library/Server.java
index 5b3896d982e..3d4120dd8ba 100644
--- a/java/demo/Database/library/Server.java
+++ b/java/demo/Database/library/Server.java
@@ -134,6 +134,7 @@ class Server extends Ice.Application
     main(String[] args)
     {
         Server app = new Server();
-        app.main("demo.Database.library.Server", args, "config.server");
+        int status = app.main("demo.Database.library.Server", args, "config.server");
+        System.exit(status);
     }
 }
-- 
cgit v1.2.3