diff options
author | Camille Letavernier | 2014-02-05 15:13:04 +0000 |
---|---|---|
committer | Camille Letavernier | 2014-02-05 15:13:04 +0000 |
commit | 16f96b4b973e977a7d05d81311b12ea156dae3ec (patch) | |
tree | a2fcb0a1e4a9c8a83b25b7674d249aaba624b7d6 /plugins | |
parent | 94303efce65f2a4f72eb8511fce0aac27cd19033 (diff) | |
download | org.eclipse.papyrus-16f96b4b973e977a7d05d81311b12ea156dae3ec.tar.gz org.eclipse.papyrus-16f96b4b973e977a7d05d81311b12ea156dae3ec.tar.xz org.eclipse.papyrus-16f96b4b973e977a7d05d81311b12ea156dae3ec.zip |
[Tests jobs] Tentative to fix maintenance tests job on Hudson. Avoid
restarting an editor when the platform is shutting down
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/infra/core/org.eclipse.papyrus.infra.core/src/org/eclipse/papyrus/infra/core/services/ResourceUpdateService.java | 7 |
1 files changed, 7 insertions, 0 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 b85b7db6505..5c9429e4afd 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 @@ -43,6 +43,7 @@ import org.eclipse.ui.IPartListener; import org.eclipse.ui.IWorkbenchPage;
import org.eclipse.ui.IWorkbenchPart;
import org.eclipse.ui.PartInitException;
+import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.ide.IDE;
/**
@@ -121,6 +122,9 @@ public class ResourceUpdateService implements IService, IPartListener { Runnable closeEditorRunnable = new Runnable() {
public void run() {
+ if (PlatformUI.getWorkbench() == null || PlatformUI.getWorkbench().isClosing()){
+ return;
+ }
final IWorkbenchPage page = editor.getSite().getPage();
final IEditorInput currentInput = editor.getEditorInput();
@@ -135,6 +139,9 @@ public class ResourceUpdateService implements IService, IPartListener { Display.getCurrent().asyncExec(new Runnable() {
public void run() {
+ if (PlatformUI.getWorkbench() == null || PlatformUI.getWorkbench().isClosing()){
+ return;
+ }
try {
IDE.openEditor(page, currentInput, editorId);
} catch (PartInitException ex) {
|