src/eric7/UI/UserInterface.py

branch
eric7
changeset 10919
4e4c8ee38c45
parent 10905
487adcd8dfa7
child 10922
36a90a94765c
--- 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:

eric ide

mercurial