diff options
Diffstat (limited to 'java/src/IceGridGUI/LiveDeployment/ServerEditor.java')
-rwxr-xr-x | java/src/IceGridGUI/LiveDeployment/ServerEditor.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/LiveDeployment/ServerEditor.java b/java/src/IceGridGUI/LiveDeployment/ServerEditor.java index 2cf9b9f5729..7dd3cee2c8b 100755 --- a/java/src/IceGridGUI/LiveDeployment/ServerEditor.java +++ b/java/src/IceGridGUI/LiveDeployment/ServerEditor.java @@ -50,6 +50,7 @@ class ServerEditor extends CommunicatorEditor _enabled.setEnabled(false); _application.setEditable(false); + _iceVersion.setEditable(false); _exe.setEditable(false); _pwd.setEditable(false); @@ -110,6 +111,7 @@ class ServerEditor extends CommunicatorEditor final Utils.Resolver resolver = server.getResolver(); _application.setText(resolver.find("application")); + _iceVersion.setText(resolver.substitute(descriptor.iceVersion)); super.show(descriptor, server.getProperties(), resolver); @@ -180,6 +182,9 @@ class ServerEditor extends CommunicatorEditor builder.append(_application); builder.append(_gotoApplication); builder.nextLine(); + builder.append("Ice Version"); + builder.append(_iceVersion, 3); + builder.nextLine(); // // Add Communicator fields @@ -276,6 +281,8 @@ class ServerEditor extends CommunicatorEditor private JTextField _application = new JTextField(20); private JButton _gotoApplication; + private JTextField _iceVersion = new JTextField(20); + private JTextField _exe = new JTextField(20); private JTextField _pwd = new JTextField(20); private JTextField _user = new JTextField(20); |