monitor.worked(1);
return Status.OK_STATUS;
}
+
+ protected void canceling() {
+ getThread().interrupt();
+ super.canceling();
+ }
};
} else {
job = new Job("Start " + nameVersion) {
monitor.worked(1);
return Status.OK_STATUS;
}
+
+ protected void canceling() {
+ getThread().interrupt();
+ super.canceling();
+ }
};
}
job.setUser(true);