From fd6d97f052d3574365dfe6699e660d38180345e2 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Tue, 26 Dec 2017 15:41:03 +0000
Subject: [PATCH] artiq_devtool: set ServerAliveInterval.

---
 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 8c5b0ac01..a2c5bbfd1 100755
--- 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: