diff options
| author | Scott <[email protected]> | 2021-12-04 21:23:11 -0800 |
|---|---|---|
| committer | Scott <[email protected]> | 2021-12-04 21:23:11 -0800 |
| commit | b29be4f1750fd20bd2eada88e751dfae85817882 (patch) | |
| tree | d776c05519505fa3234ed44ae952163f0853e88c /remote_worker.py | |
| parent | ed8fa2b10b0177b15b7423263bdd390efde2f0c8 (diff) | |
Various changes.
Diffstat (limited to 'remote_worker.py')
| -rwxr-xr-x | remote_worker.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/remote_worker.py b/remote_worker.py index bf8de6c..c04ac65 100755 --- 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: |