projects
/
python_utils.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
A very important change to docs.
[python_utils.git]
/
exec_utils.py
diff --git
a/exec_utils.py
b/exec_utils.py
index c669f5460b2d97490d308c38b285233f431a9ffa..1b587405fb1a706a1d7b1c128fde2ad878401137 100644
(file)
--- a/
exec_utils.py
+++ b/
exec_utils.py
@@
-2,10
+2,10
@@
import shlex
import subprocess
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
)
return subprocess.check_call(
["/bin/bash", "-c", command], timeout=timeout_seconds
)