1
0
Fork 0

Merge pull request #666 from zacikpa/repo-remove-old-plugins

Clear plugin repository when stopping tuning
This commit is contained in:
Jaroslav Škarvada 2024-08-07 20:35:06 +02:00 committed by GitHub
commit 4eee2fe930
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -135,7 +135,7 @@ class Manager(object):
for plugin in self._plugins:
log.debug("cleaning plugin '%s'" % plugin.name)
self._try_call("destroy_all", None, plugin.cleanup)
self._plugins_repository.plugins.clear()
del self._plugins[:]
del self._instances[:]