AssistantEric/APIsManager.py

changeset 89
af91195b999a
parent 88
dc07c514df20
child 93
9e323efeffcf
equal deleted inserted replaced
88:dc07c514df20 89:af91195b999a
662 not self.__worker.isFinished(): 662 not self.__worker.isFinished():
663 self.__worker.terminate() 663 self.__worker.terminate()
664 if self.__worker is not None: 664 if self.__worker is not None:
665 self.__worker.wait(5000) 665 self.__worker.wait(5000)
666 666
667 if QSqlDatabase.database(self.__language).isOpen(): 667 if QSqlDatabase and QSqlDatabase.database(self.__language).isOpen():
668 QSqlDatabase.database(self.__language).close() 668 QSqlDatabase.database(self.__language).close()
669 QSqlDatabase.removeDatabase(self.__language) 669 QSqlDatabase.removeDatabase(self.__language)
670 670
671 self.__opened = False 671 self.__opened = False
672 672

eric ide

mercurial