artiq_devtool: set ServerAliveInterval.

2017-12-26 15:41:03 +00:00 · 2017-12-26 15:41:03 +00:00 · fd6d97f052
parent 8b4a006855
commit fd6d97f052
1 changed files with 1 additions and 0 deletions
--- a/artiq/frontend/artiq_devtool.py
+++ b/artiq/frontend/artiq_devtool.py
@ -136,6 +136,7 @@ def main():
            lock()

            transport = client.get_transport()
+            transport.set_keepalive(30)

            def forwarder(local_stream, remote_stream):
                try: