import logging
import os
-import platform
import signal
import threading
import sys
cfg.add_argument(
'--watch_for_cancel',
action=argparse_utils.ActionNoYes,
- default=False,
+ default=True,
help='Should we watch for the cancellation of our parent ssh process?'
)
@background_thread
def watch_for_cancel(terminate_event: threading.Event) -> None:
- if platform.node() == 'VIDEO-COMPUTER':
- logger.warning('Background thread not allowed on retarded computers, sorry.')
- return
logger.debug('Starting up background thread...')
p = psutil.Process(os.getpid())
while True:
in_file = config.config['code_file']
out_file = config.config['result_file']
+ stop_thread = None
if config.config['watch_for_cancel']:
(thread, stop_thread) = watch_for_cancel()
stop_thread.set()
sys.exit(-1)
- stop_thread.set()
- thread.join()
+ if stop_thread is not None:
+ stop_thread.set()
+ thread.join()
if __name__ == '__main__':