handle rejected sql file cancel

2026-10-28 08:08:02 +00:00 · 2026-05-02 05:28:56 +08:00
parent c33afc8cef
commit 78401cf9bd
1 changed files with 4 additions and 1 deletions
@@ -298,7 +298,10 @@ async function cancelExecution() {
  cancelling.value = true;
  if (!executionStarted.value) return;
  try {
-    await cancelSqlFileExecution(executionId.value);
+    const cancelled = await cancelSqlFileExecution(executionId.value);
+    if (!cancelled) {
+      throw new Error("Cancel request was not accepted");
+    }
  } catch (e: any) {
    cancelRequested.value = false;
    cancelling.value = false;