projects
/
python_utils.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Various changes.
[python_utils.git]
/
remote_worker.py
diff --git
a/remote_worker.py
b/remote_worker.py
index bf8de6c66a36767ac267cfdd2bffe38317cbace0..c04ac652449c5cb0e926ac35cc8fbaed7b05d7c4 100755
(executable)
--- a/
remote_worker.py
+++ b/
remote_worker.py
@@
-83,7
+83,8
@@
def main() -> None:
in_file = config.config['code_file']
out_file = config.config['result_file']
- (thread, stop_thread) = watch_for_cancel()
+ if config.config['watch_for_cancel']:
+ (thread, stop_thread) = watch_for_cancel()
logger.debug(f'Reading {in_file}.')
try: