From 371dda4a16faf2ac87e8908eb6d09ab6f94015cc Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Thu, 13 Dec 2018 06:58:54 +0800
Subject: [PATCH] sync_struct: handle TimeoutError as subscriber disconnection.
 Closes #1215

---
 artiq/protocols/sync_struct.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/artiq/protocols/sync_struct.py b/artiq/protocols/sync_struct.py
index ca48c5356..1095e45ef 100644
--- a/artiq/protocols/sync_struct.py
+++ b/artiq/protocols/sync_struct.py
@@ -244,7 +244,7 @@ class Publisher(AsyncioServer):
                     await writer.drain()
             finally:
                 self._recipients[notifier_name].remove(queue)
-        except (ConnectionResetError, ConnectionAbortedError, BrokenPipeError):
+        except (ConnectionResetError, ConnectionAbortedError, BrokenPipeError, TimeoutError):
             # subscribers disconnecting are a normal occurrence
             pass
         finally: