artiq_devtool: don't loop forever if core device dies.

2017-06-25 04:18:45 +00:00 · 2017-06-25 04:18:45 +00:00 · 1fa8be3835
commit 1fa8be3835
parent f17a6616b2
1 changed files with 1 additions and 0 deletions
--- a/artiq/frontend/artiq_devtool.py
+++ b/artiq/frontend/artiq_devtool.py
@ -176,6 +176,7 @@ def main():
                                local_stream.send(data)
                        except Exception as e:
                            logger.exception("Forward error on port %s", port)
+                            break
                    local_stream.close()
                    remote_stream.close()