Skip to content

Verify server PID identity before teardown kills (#31)#39

Merged
TheRealDinghyDog merged 1 commit into
opencode-conversionfrom
fix/issue-31-server-pid-identity
Jul 10, 2026
Merged

Verify server PID identity before teardown kills (#31)#39
TheRealDinghyDog merged 1 commit into
opencode-conversionfrom
fix/issue-31-server-pid-identity

Commits

Commits on Jul 10, 2026