diff options
| author | Scott Gasch <[email protected]> | 2021-07-12 20:52:49 -0700 |
|---|---|---|
| committer | Scott Gasch <[email protected]> | 2021-07-12 20:52:49 -0700 |
| commit | 97fbe845e5dfdbda22521117c1783e1fd8515952 (patch) | |
| tree | 8b0ac61be1d670621abc994beef84e249f0ad95a /exec_utils.py | |
| parent | a838c154135b2420d9047a101caf24a2c9f593c2 (diff) | |
Random changes.
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 ) |