Merge branch 'master' of github.com:gsi-upm/senpy into nacho

2025-08-24 02:22:20 +00:00 · 2015-12-11 09:49:35 +01:00
parent d304dec2f7 82496dc8e4
commit 7b9f8a8bef
3 changed files with 2 additions and 1 deletions
--- a/senpy/plugins.py
+++ b/senpy/plugins.py
@@ -152,4 +152,5 @@ class ShelfMixin(object):
        return self._shelf_file 

    def close(self):
+        self.sh.close()
        del(self._sh)