commit | 1a86d4a3694916c82bd68e16b1990ec7f3b1028d | [log] [tgz] |
---|---|---|
author | deboer <deboer> | Wed Sep 12 15:38:01 2007 +0000 |
committer | deboer <deboer> | Wed Sep 12 15:38:01 2007 +0000 |
tree | aeff09388fc2d7fcf036ffd7c58a8e11d8c31f24 | |
parent | c199cbdcf435509a0e8050063e88b64b1378970e [diff] |
[202837] Avoid array/UI deadlock
diff --git a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java index f530954..8a7ed26 100644 --- a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java +++ b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/view/servers/ServerTableViewer.java
@@ -202,7 +202,7 @@ } } }; - Display.getDefault().syncExec(new Runnable() { + Display.getDefault().asyncExec(new Runnable() { public void run() { display.timerExec(SLEEP, animator[0]); }