diff options
Diffstat (limited to 'java/src')
| -rwxr-xr-x | java/src/IceGridGUI/src/main/java/IceGridGUI/LiveDeployment/Server.java | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/java/src/IceGridGUI/src/main/java/IceGridGUI/LiveDeployment/Server.java b/java/src/IceGridGUI/src/main/java/IceGridGUI/LiveDeployment/Server.java index 6f31158974d..8e3ec1bd4c8 100755 --- a/java/src/IceGridGUI/src/main/java/IceGridGUI/LiveDeployment/Server.java +++ b/java/src/IceGridGUI/src/main/java/IceGridGUI/LiveDeployment/Server.java @@ -123,7 +123,14 @@ public class Server extends ListArrayTreeNode { admin.end_stopServer(r); amiSuccess(prefix); - rebuild(Server.this, false); + SwingUtilities.invokeLater(new Runnable() + { + @Override + public void run() + { + rebuild(Server.this, false); + } + }); } catch(Ice.UserException ex) { |