diff options
| author | Scott <[email protected]> | 2022-01-22 16:57:12 -0800 |
|---|---|---|
| committer | Scott <[email protected]> | 2022-01-22 16:57:12 -0800 |
| commit | fd4daa9557429e519fadd6e7e355fb625bad26cc (patch) | |
| tree | 3d9bd7c5abe6d150eb840305026837f791546a6d /remote_worker.py | |
| parent | 7913fe84341dbadfd0fe56834cf2ae55b3535365 (diff) | |
Watch for grandparent ssh termination by default.
Diffstat (limited to 'remote_worker.py')
| -rwxr-xr-x | remote_worker.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/remote_worker.py b/remote_worker.py index 42aeb85..211b213 100755 --- a/remote_worker.py +++ b/remote_worker.py @@ -6,7 +6,6 @@ results. import logging import os -import platform import signal import threading import sys @@ -44,7 +43,7 @@ cfg.add_argument( 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?' ) |