wxGUI: fix exception when switching to mapset (OSGeo#2994)

nilason · Nov 7, 2023 · 81ece6d · 81ece6d
1 parent e1f10ed
commit 81ece6d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/gui/wxpython/core/watchdog.py b/gui/wxpython/core/watchdog.py
@@ -18,6 +18,7 @@
 """
 
 import os
+import time
 
 watchdog_used = True
 try:
@@ -63,6 +64,8 @@ def on_modified(self, event):
             if timestamp - self.modified_time < 0.5:
                 return
             self.modified_time = timestamp
+            # wait to make sure file writing is done
+            time.sleep(0.1)
             with open(event.src_path, "r") as f:
                 gisrc = {}
                 for line in f.readlines():