From 1fa8be383521222e488666e5d4c4b8e3a39e5dec Mon Sep 17 00:00:00 2001 From: whitequark Date: Sun, 25 Jun 2017 04:18:45 +0000 Subject: [PATCH] artiq_devtool: don't loop forever if core device dies. --- artiq/frontend/artiq_devtool.py | 1 + 1 file changed, 1 insertion(+) diff --git a/artiq/frontend/artiq_devtool.py b/artiq/frontend/artiq_devtool.py index 08856c9dc..90b6556e4 100755 --- 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()