Skip to content

Commit

Permalink
rcll-central: also reduce goal counter after retry failure
Browse files Browse the repository at this point in the history
  • Loading branch information
TarikViehmann committed Jul 20, 2024
1 parent 7c41b57 commit c6d6e49
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/clips-specs/rcll-central/execution-monitoring.clp
Original file line number Diff line number Diff line change
Expand Up @@ -608,13 +608,14 @@
(type ACHIEVE) (sub-type SIMPLE)
(mode SELECTED) (parent ?pa-id&~nil)
)
(goal-meta (goal-id ?goal-id) (assigned-to ?robot&:(neq ?robot nil)))
?gm <- (goal-meta (goal-id ?goal-id) (assigned-to ?robot&:(neq ?robot nil)) (retries ?retries))
=>
(retract ?high-prio)
(delayed-do-for-all-facts ((?retry wm-fact))
(and (wm-key-prefix ?retry:key (create$ monitoring goal retry robot counter)) (eq (wm-key-arg ?retry:key r) ?robot))
(modify ?retry (value (max (- ?retry:value ?*GOAL-RETRY-MAX*) 0)))
)
(modify ?gm (retries (max (- ?retries ?*GOAL-RETRY-MAX*) 0)))
)

; ----------------------- HANDLE WP CHECK FAIL --------------------------------
Expand Down

0 comments on commit c6d6e49

Please # to comment.