Skip to content

[pull] main from webrecorder:main#216

Merged
pull[bot] merged 1 commit intojustarmadillo:mainfrom
webrecorder:main
Mar 11, 2026
Merged

[pull] main from webrecorder:main#216
pull[bot] merged 1 commit intojustarmadillo:mainfrom
webrecorder:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Mar 11, 2026

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

- Fixes #991 - caused by typo introduced in #973 
- when fatal, set state to 'failed' instead of 'interrupted' (as interrupt() does the latter)
- fixes fatal() exit override to correctly exit 0 when in restartsOnError mode (as non-zero exit will result in restart)
@pull pull bot locked and limited conversation to collaborators Mar 11, 2026
@pull pull bot added the ⤵️ pull label Mar 11, 2026
@pull pull bot merged commit 989d05b into justarmadillo:main Mar 11, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant