diff options
| author | HiFiPHile <[email protected]> | 2026-09-01 07:18:49 +0200 |
|---|---|---|
| committer | HiFiPHile <[email protected]> | 2026-09-01 07:18:49 +0200 |
| commit | 82abde5ba2ba00a494be529de19c96eba5639b73 (patch) | |
| tree | 36256503d433636f88a658d3e80bbfb802c96ded /tools | |
| parent | 50eaa940331ced0be75a0b7e43c90d49bbc13d53 (diff) | |
tools: make RTT stop files idempotentfeature/rtt-windows-lifecycle
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/rtt.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/rtt.py b/tools/rtt.py index c3ea86093..0ae975fcf 100644 --- a/tools/rtt.py +++ b/tools/rtt.py @@ -690,7 +690,7 @@ def main() -> int: # header and read garbage as a descriptor ap.error(f'--channel must be >= 0, got {args.channel}') if args.stop_file and os.path.exists(args.stop_file): - ap.error(f'--stop-file already exists: {args.stop_file}') + return 0 def stop_requested(): return bool(args.stop_file and os.path.exists(args.stop_file)) |
