Mercurial Repositories > eric / file diff

--- a/src/eric7/UI/UserInterface.py	Wed Apr 10 10:45:31 2024 +0200
+++ b/src/eric7/UI/UserInterface.py	Wed Apr 10 16:45:06 2024 +0200
@@ -57,6 +57,7 @@
 from eric7.CondaInterface.Conda import Conda
 from eric7.Debugger.DebugServer import DebugServer
 from eric7.Debugger.DebugUI import DebugUI
+from eric7.EricCore import EricFileSystemWatcher
 from eric7.EricGui import EricPixmapCache
 from eric7.EricGui.EricAction import EricAction, createActionGroup
 from eric7.EricNetwork.EricNetworkIcon import EricNetworkIcon
@@ -8268,6 +8269,10 @@
         Preferences.saveToolGroups(self.toolGroups, self.currentToolGroup)
         Preferences.syncPreferences()
         self.shutdownCalled = True
+
+        # shut down the global file system watcher
+        EricFileSystemWatcher.instance().shutdown()
+
         return True
 
     def isOnline(self):