wmllint: Skip inexistent paths passed in the command line

Fixes issue #3286.

[ci skip]

changelog.md

@@ -85,6 +85,8 @@
    * Fixed an issue with positioned sound sources ignoring the volume set in
      Preferences after going off the audible radius and back (issue #3280).
    * Fixed wmllint choking on gzipped binary files (e.g. gzipped tarballs).
+   * Fixed wmllint crashing on inexistent paths provided in the command line
+     (issue #3286).
 
 ## Version 1.14.3
  ### AI

data/tools/wmllint

@@ -3184,6 +3184,9 @@ In your case, your system interprets your arguments as:
             arguments = ["."]
 
         for directory in arguments:
+            if not os.path.exists(directory):
+                print("wmllint: skipping non-existent path %s" % directory)
+                continue
             ofp = None
             for fn in allcfgfiles(directory):
                 if verbose >= 2:
@@ -3254,6 +3257,9 @@ In your case, your system interprets your arguments as:
                     for word in declared_spellings["GLOBAL"]:
                         d.add_to_session(word.lower())
                     for directory in arguments:
+                        if not os.path.exists(directory):
+                            print("wmllint: skipping non-existent path %s" % directory)
+                            continue
                         ofp = None
                         for fn in allcfgfiles(directory):
                             if verbose >= 2: