--- a/src/eric7/UI/UserInterface.py Fri Sep 06 14:56:18 2024 +0200 +++ b/src/eric7/UI/UserInterface.py Sun Sep 15 16:56:58 2024 +0200 @@ -8474,6 +8474,8 @@ if self.microPythonWidget is not None: self.microPythonWidget.shutdown() + self.pipInterface.shutdown() + self.pluginManager.doShutdown() if self.SAServer is not None: