Fix bug #16098: wmllint enters infinite loop during spellcheck

data/tools/wesnoth/wmltools.py

@@ -13,6 +13,10 @@ l10n_directories = ("l10n",)
 resource_extensions = map_extensions + image_extensions + sound_extensions
 image_reference = r"[A-Za-z0-9{}.][A-Za-z0-9_/+{}.-]*\.(png|jpg)(?=(~.*)?)"
 
+def is_root(dirname):
+    "Is the specified path the filesysten root?"
+    return dirname == os.sep or (os.sep == '\\' and dirname.endswith(':\\'))
+
 def pop_to_top(whoami):
     "Pop upward to the top-level directory."
     upwards = os.getcwd().split(os.sep)

data/tools/wmllint

@@ -1980,7 +1980,7 @@ def spellcheck(fn, d):
     # and for all directories above it.
     up = fn
     while True:
-        if not up or up == os.sep:
+        if not up or is_root(up):
             break
         else:
             local_spellings += declared_spellings.get(up,[])