2 Commits

Author	SHA1	Message	Date
edi-oai	721b111c0c	Exec as user, out-of-band signalling, and stdin closure when the request stream ends (#58) ... * Support running exec commands as a selected user * Move exec signaling out of band * Close standard input when the exec request stream ends	2026-08-10 23:23:07 +01:00
edi-oai	d4ebcbde41	Emit an explicit "Started" message and support sending signals (#56) ... * Emit an explicit "Started" message and support sending signals Co-authored-by: Fedor Korotkov <fkorotkov@openai.com> * Run exec commands in dedicated process groups * Disable wsl_v5 linter * Clean up exec processes on stream failures * Fix gosec linter error * Wrap exec signals in a message --------- Co-authored-by: Fedor Korotkov <fkorotkov@openai.com>	2026-08-10 21:08:27 +01:00