Skip to content

Handle missing WATCHDOG_PID in watchdog_enabled - #20

Merged
lnicola merged 1 commit into
masterfrom
watchdog-enabled-no-pid
Mar 9, 2026
Merged

Handle missing WATCHDOG_PID in watchdog_enabled#20
lnicola merged 1 commit into
masterfrom
watchdog-enabled-no-pid

Conversation

@lnicola

@lnicola lnicola commented Mar 9, 2026

Copy link
Copy Markdown
Owner

Closes #19

@lnicola
lnicola merged commit f0a0238 into master Mar 9, 2026
1 check failed
@lnicola
lnicola deleted the watchdog-enabled-no-pid branch March 9, 2026 10:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Incorrect logic in watchdog_enabled

1 participant