From ab493a860d4322667107a53d30f11883c9c9a39b Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 5 Jun 2017 15:45:40 +0800
Subject: [PATCH] coredevice: fix socket resource leak

---
 artiq/coredevice/core.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/artiq/coredevice/core.py b/artiq/coredevice/core.py
index 1cce9ad7d..8f96bb7c9 100644
--- a/artiq/coredevice/core.py
+++ b/artiq/coredevice/core.py
@@ -86,6 +86,9 @@ class Core:
         self.core = self
         self.comm.core = self
 
+    def close(self):
+        self.comm.close()
+
     def compile(self, function, args, kwargs, set_result=None,
                 attribute_writeback=True, print_as_rpc=True):
         try: