Skip to content

Commit

Permalink
Fix (sort of) resource error cannot be caught, re issue #246
Browse files Browse the repository at this point in the history
  • Loading branch information
infradig committed Jul 9, 2023
1 parent 542397e commit 75cd1fa
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions src/query.c
Original file line number Diff line number Diff line change
Expand Up @@ -1660,11 +1660,12 @@ bool start(query *q)
if (q->is_oom) {
q->is_oom = q->error = false;

if (throw_error(q, q->st.curr_cell, q->st.curr_frame, "resource_error", "memory") != true) {
q->retry = QUERY_RETRY;
q->tot_backtracks++;
//if (!throw_error(q, q->st.curr_cell, q->st.curr_frame, "resource_error", "memory")) {
// q->retry = QUERY_RETRY;
// q->tot_backtracks++;
q->fail_on_retry = false;
continue;
}
//}
}

MORE:
Expand Down

0 comments on commit 75cd1fa

Please sign in to comment.