summaryrefslogtreecommitdiff
path: root/java/src/IceGridGUI/LiveDeployment/Server.java
diff options
context:
space:
mode:
Diffstat (limited to 'java/src/IceGridGUI/LiveDeployment/Server.java')
-rwxr-xr-xjava/src/IceGridGUI/LiveDeployment/Server.java14
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();