Fixing non-determinism bug in shell tool

2026-05-09 12:44:23 -05:00
parent 3eeba859b8
commit 757835758d
2 changed files with 1 additions and 1 deletions
@@ -131,7 +131,7 @@ Tool make_shell_tool() {

            // Check exit code
            int status;
-            waitpid(pid, &status, WNOHANG);
+            waitpid(pid, &status, 0);

            if (timed_out) {
                return "[timed out after " + std::to_string(timeout) + "s]\n" + output;