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: