Added Properties facet to IceBox services

1 files changed, 6 insertions, 8 deletions

diff --git a/java/src/IceGridGUI/LiveDeployment/Server.java b/java/src/IceGridGUI/LiveDeployment/Server.java
index ecd00d6bf01..13ede590e09 100755
--- a/java/src/IceGridGUI/LiveDeployment/Server.java
+++ b/java/src/IceGridGUI/LiveDeployment/Server.java
@@ -296,19 +296,12 @@ class Server extends ListArrayTreeNode
         
         try
         {   
-            getCoordinator().getMainFrame().setCursor(
-                Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
             getCoordinator().getAdmin().sendSignal_async(cb, _id, s);
         }
         catch(Ice.LocalException e)
         {
             failure(prefix, "Failed to deliver signal " + s + " to " + _id, e.toString());
         }
-        finally
-        {
-            getCoordinator().getMainFrame().setCursor(
-                Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
-        }
     }
 
     public void patchServer()
@@ -421,7 +414,7 @@ class Server extends ListArrayTreeNode
         }
     }
 
-    public void showRuntimeProperties()
+    void showRuntimeProperties()
     {
         Ice.ObjectPrx serverAdmin = getServerAdmin();
             
@@ -995,6 +988,11 @@ class Server extends ListArrayTreeNode
         return Utils.propertySetsToMap(psList, _resolver);
     }
 
+    int getIceVersion()
+    {
+        return Utils.getIntVersion(Utils.substitute(_serverDescriptor.iceVersion, _resolver));
+    }
+
     private void createAdapters()
     {
         java.util.Iterator p = _serverDescriptor.adapters.iterator();