|
@@ -126,12 +126,12 @@ Use only for obsolete, wrong, conflicting, or user-requested cancellation. Accep
|
|
|
try {
|
|
try {
|
|
|
await abortAndVerifySession(options, job.taskID);
|
|
await abortAndVerifySession(options, job.taskID);
|
|
|
} catch (error) {
|
|
} catch (error) {
|
|
|
- const stillRunning =
|
|
|
|
|
- error instanceof SessionStillRunningError ||
|
|
|
|
|
- options.backgroundJobBoard.isRunning(job.taskID); // ponytail: intent-revealing query
|
|
|
|
|
|
|
+ const stillRunning = error instanceof SessionStillRunningError;
|
|
|
|
|
+ const boardRunning = options.backgroundJobBoard.isRunning(job.taskID);
|
|
|
log('[cancel-task] abort failed', {
|
|
log('[cancel-task] abort failed', {
|
|
|
taskID: job.taskID,
|
|
taskID: job.taskID,
|
|
|
stillRunning,
|
|
stillRunning,
|
|
|
|
|
+ boardRunning,
|
|
|
error: error instanceof Error ? error.message : String(error),
|
|
error: error instanceof Error ? error.message : String(error),
|
|
|
});
|
|
});
|
|
|
options.backgroundJobBoard.updateStatus({
|
|
options.backgroundJobBoard.updateStatus({
|