Explorar el Código

Merge branch '109-close-label-provider' into 'master'

Resolve "close label provider"

Closes #109

See merge request troebs/pycs!101
Eric Tröbs hace 4 años
padre
commit
7b0eb2e0bc
Se han modificado 1 ficheros con 2 adiciones y 0 borrados
  1. 2 0
      pycs/projects/ProjectManager.py

+ 2 - 0
pycs/projects/ProjectManager.py

@@ -75,6 +75,8 @@ class ProjectManager(ObservableDict):
             for label in provider.get_labels():
                 self[uuid].add_label(label['name'], identifier=label['id'])
 
+            provider.close()
+
         # create project.json
         self.write_project(uuid)