diff options
| -rwxr-xr-x | tools/pyboard.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/pyboard.py b/tools/pyboard.py index d4ce8b7887..f368455f5e 100755 --- a/tools/pyboard.py +++ b/tools/pyboard.py @@ -300,6 +300,7 @@ def main(): pyb.enter_raw_repl() except PyboardError as er: print(er) + pyb.close() sys.exit(1) def execbuffer(buf): @@ -307,6 +308,7 @@ def main(): ret, ret_err = pyb.exec_raw(buf, timeout=None, data_consumer=stdout_write_bytes) except PyboardError as er: print(er) + pyb.close() sys.exit(1) except KeyboardInterrupt: sys.exit(1) |