()
| 25 | import { BASH_TOOL_NAME } from './toolName.js' |
| 26 | |
| 27 | export function getDefaultTimeoutMs(): number { |
| 28 | return getDefaultBashTimeoutMs() |
| 29 | } |
| 30 | |
| 31 | export function getMaxTimeoutMs(): number { |
| 32 | return getMaxBashTimeoutMs() |
no test coverage detected