Skip to content

Fix signal handling and remove incorrect claim#25

Merged
afq984 merged 2 commits into
google:mainfrom
afq984:push-zmxwuyvnlvoz
Apr 13, 2026
Merged

Fix signal handling and remove incorrect claim#25
afq984 merged 2 commits into
google:mainfrom
afq984:push-zmxwuyvnlvoz

Conversation

@afq984
Copy link
Copy Markdown
Collaborator

@afq984 afq984 commented Apr 13, 2026

No description provided.

afq984 added 2 commits April 13, 2026 14:40
The previous SIGTERM-only ignore was incomplete. Both signals need to
be caught for clean shutdown on Ctrl-C (SIGINT) and kill (SIGTERM).

The signal handling was verified working via /proc/self/status — the
earlier debugging was misled by the Bash tool's wrapper process
($! pointed to the bash wrapper PID, not the actual wsb PID).

Remove stale debug instrumentation and incorrect comments about Rust
runtime signal interference.
wsb creates .agent-shell-tools/ inside the workspace for the gRPC
socket and PID file. These are runtime artifacts that should not be
tracked.
@afq984 afq984 enabled auto-merge (rebase) April 13, 2026 05:50
@afq984 afq984 merged commit f56ad09 into google:main Apr 13, 2026
3 checks passed
@afq984 afq984 deleted the push-zmxwuyvnlvoz branch April 13, 2026 05:52
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.

1 participant