]> git.argeo.org Git - gpl/argeo-slc.git/blobdiff - eclipse/plugins/org.argeo.slc.client.ui/src/main/java/org/argeo/slc/client/ui/views/JcrExecutionModulesView.java
Make module operations interruptible
[gpl/argeo-slc.git] / eclipse / plugins / org.argeo.slc.client.ui / src / main / java / org / argeo / slc / client / ui / views / JcrExecutionModulesView.java
index c5b4cbadcf8c4b60b8161456bd4644aca6a49a6a..1f87c98fdeb32a1c614bde722c0ab877595c989e 100644 (file)
@@ -371,6 +371,11 @@ public class JcrExecutionModulesView extends ViewPart implements SlcTypes,
                                                                        monitor.worked(1);
                                                                        return Status.OK_STATUS;
                                                                }
+
+                                                               protected void canceling() {
+                                                                       getThread().interrupt();
+                                                                       super.canceling();
+                                                               }
                                                        };
                                                } else {
                                                        job = new Job("Start " + nameVersion) {
@@ -380,6 +385,11 @@ public class JcrExecutionModulesView extends ViewPart implements SlcTypes,
                                                                        monitor.worked(1);
                                                                        return Status.OK_STATUS;
                                                                }
+
+                                                               protected void canceling() {
+                                                                       getThread().interrupt();
+                                                                       super.canceling();
+                                                               }
                                                        };
                                                }
                                                job.setUser(true);