diff options
| -rw-r--r-- | plugins/infra/core/org.eclipse.papyrus.infra.core/src/org/eclipse/papyrus/infra/core/services/ResourceUpdateService.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/infra/core/org.eclipse.papyrus.infra.core/src/org/eclipse/papyrus/infra/core/services/ResourceUpdateService.java b/plugins/infra/core/org.eclipse.papyrus.infra.core/src/org/eclipse/papyrus/infra/core/services/ResourceUpdateService.java index 5c9429e4afd..6f8789309ad 100644 --- a/plugins/infra/core/org.eclipse.papyrus.infra.core/src/org/eclipse/papyrus/infra/core/services/ResourceUpdateService.java +++ b/plugins/infra/core/org.eclipse.papyrus.infra.core/src/org/eclipse/papyrus/infra/core/services/ResourceUpdateService.java @@ -122,7 +122,7 @@ public class ResourceUpdateService implements IService, IPartListener { Runnable closeEditorRunnable = new Runnable() {
public void run() {
- if (PlatformUI.getWorkbench() == null || PlatformUI.getWorkbench().isClosing()){
+ if (! PlatformUI.isWorkbenchRunning()){
return;
}
final IWorkbenchPage page = editor.getSite().getPage();
@@ -139,7 +139,7 @@ public class ResourceUpdateService implements IService, IPartListener { Display.getCurrent().asyncExec(new Runnable() {
public void run() {
- if (PlatformUI.getWorkbench() == null || PlatformUI.getWorkbench().isClosing()){
+ if (! PlatformUI.isWorkbenchRunning()){
return;
}
try {
|