coredevice: fix socket resource leak

This commit is contained in:
Sebastien Bourdeauducq 2017-06-05 15:45:40 +08:00
parent bea7a47349
commit ab493a860d
1 changed files with 3 additions and 0 deletions

View File

@ -86,6 +86,9 @@ class Core:
self.core = self self.core = self
self.comm.core = self self.comm.core = self
def close(self):
self.comm.close()
def compile(self, function, args, kwargs, set_result=None, def compile(self, function, args, kwargs, set_result=None,
attribute_writeback=True, print_as_rpc=True): attribute_writeback=True, print_as_rpc=True):
try: try: