diff options
Diffstat (limited to 'exec_utils.py')
| -rw-r--r-- | exec_utils.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/exec_utils.py b/exec_utils.py index c669f54..1b58740 100644 --- a/exec_utils.py +++ b/exec_utils.py @@ -2,10 +2,10 @@ import shlex import subprocess -from typing import List +from typing import List, Optional -def cmd_with_timeout(command: str, timeout_seconds: float) -> int: +def cmd_with_timeout(command: str, timeout_seconds: Optional[float]) -> int: return subprocess.check_call( ["/bin/bash", "-c", command], timeout=timeout_seconds ) |