- ui.getDisplay().asyncExec(() -> {
- ui.disposeIfTimedout();
- });
- ui.getDisplay().wake();
+ if (ui.isTimedOut()) {
+ if (log.isTraceEnabled())
+ log.trace("Killing timed-out UI " + uiUuid + " in " + appPid);
+ UiContext.killDisplay(ui.getDisplay());
+ }
+ } else {
+ if (log.isTraceEnabled())
+ log.warn("Disposed UI " + uiUuid + " still in " + appPid + ", removing it");
+ uiRefs.remove();