Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCamille Letavernier2014-02-05 15:13:04 +0000
committerCamille Letavernier2014-02-05 15:13:04 +0000
commit16f96b4b973e977a7d05d81311b12ea156dae3ec (patch)
treea2fcb0a1e4a9c8a83b25b7674d249aaba624b7d6 /plugins
parent94303efce65f2a4f72eb8511fce0aac27cd19033 (diff)
downloadorg.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.java7
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) {

Back to the top