fix: Set stdin to null in shell/bash tools (#568)

This commit is contained in:
Bradley Axen
2025-01-09 19:45:40 -08:00
committed by GitHub
parent 7b827d0e66
commit 9210de0a18
2 changed files with 2 additions and 0 deletions
+1
View File
@@ -271,6 +271,7 @@ impl DeveloperRouter {
let child = Command::new("bash")
.stdout(Stdio::piped()) // These two pipes required to capture output later.
.stderr(Stdio::piped())
.stdin(Stdio::null())
.kill_on_drop(true) // Critical so that the command is killed when the agent.reply stream is interrupted.
.arg("-c")
.arg(cmd_with_redirect)
+1
View File
@@ -169,6 +169,7 @@ impl Developer2Router {
let child = Command::new("bash")
.stdout(Stdio::piped()) // These two pipes required to capture output later.
.stderr(Stdio::piped())
.stdin(Stdio::null())
.kill_on_drop(true) // Critical so that the command is killed when the agent.reply stream is interrupted.
.arg("-c")
.arg(cmd_with_redirect)