diff options
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: |