mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
notify listener on task cancellation
This commit is contained in:
@@ -116,6 +116,10 @@ public final class ExecutionHandler {
|
||||
return true;
|
||||
}
|
||||
|
||||
public void onCancel() {
|
||||
antBuildListener.buildFinished(AntBuildListener.ABORTED, 0);
|
||||
}
|
||||
|
||||
public void run(@NotNull final ProgressIndicator indicator) {
|
||||
try {
|
||||
runBuild(indicator, messageView, buildFile, antBuildListener, commandLine);
|
||||
|
||||
Reference in New Issue
Block a user