Skip to content

fix rlm bash timeout#1079

Merged
snimu merged 1 commit intomainfrom
sebastian/rlm-timeouts-2026-03-29
Mar 29, 2026
Merged

fix rlm bash timeout#1079
snimu merged 1 commit intomainfrom
sebastian/rlm-timeouts-2026-03-29

Conversation

@snimu
Copy link
Copy Markdown
Contributor

@snimu snimu commented Mar 29, 2026

Description

The sub-LLM call timeout for bash (but not for python) was hardcoded; this PR changes it to respect the user settings.

Type of Change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation update
  • Test improvement

Testing

  • All existing tests pass when running uv run pytest locally.
  • New tests have been added to cover the changes

Checklist

  • My code follows the style guidelines of this project as outlined in AGENTS.md
  • I have performed a self-review of my own code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • My changes generate no new warnings
  • Any dependent changes have been merged and published

Note

Low Risk
Low risk: a small change that replaces a hardcoded HTTP timeout with an environment-configured value, affecting only sub-LLM/root-tool calls from the Bash worker helper.

Overview
Fixes the Bash RLM worker’s root-tool HTTP proxy call to respect the configured sub-LLM timeout instead of using a hardcoded 300s.

_RLM_BASH_TOOL_HELPER_SCRIPT now reads RLM_SUB_LLM_TIMEOUT into SUB_LLM_TIMEOUT and uses it for urllib.request.urlopen(..., timeout=SUB_LLM_TIMEOUT), aligning Bash behavior with the Python worker’s configurable timeout.

Written by Cursor Bugbot for commit 4281078. This will update automatically on new commits. Configure here.

@snimu snimu merged commit d4796b9 into main Mar 29, 2026
6 checks passed
ilijalichkovski pushed a commit to ilijalichkovski/verifiers that referenced this pull request Mar 31, 2026
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