diff --git a/tools/push3-evolution/evolution-daemon.sh b/tools/push3-evolution/evolution-daemon.sh index fbffcb7..3ce0d03 100755 --- a/tools/push3-evolution/evolution-daemon.sh +++ b/tools/push3-evolution/evolution-daemon.sh @@ -199,6 +199,10 @@ while true; do else log " ERROR: patch failed to apply — skipping run (evaluation semantics would differ from intended)" log " Hint: evolution.patch may need regeneration if onchain/ files changed upstream." + if [ "$STOP_REQUESTED" = "true" ]; then + log "Stop requested — daemon exiting after failed patch apply." + exit 0 + fi continue fi else