wmllint: cleanup two useless lines

As far as I can tell this lines do nothing. 1. `file_handle = None` is NOT how to close a file in python 2. The file handle is already closed due to `with open() as file_handle:`
wesnoth · Feb 2, 2021 · bbf3840 · bbf3840
1 parent 2296a17
commit bbf3840
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/data/tools/wmllint b/data/tools/wmllint
@@ -3431,7 +3431,6 @@ In your case, your system interprets your arguments as:
                 failed_any_dirs = True
                 print("wmllint: skipping non-existent path %s" % directory)
                 continue
-            ofp = None
             for fn in allcfgfiles(directory):
                 if verbose >= 2:
                     print(fn + ":")
@@ -3505,7 +3504,6 @@ In your case, your system interprets your arguments as:
                             failed_any_dirs = True
                             print("wmllint: skipping non-existent path %s" % directory)
                             continue
-                        ofp = None
                         for fn in allcfgfiles(directory):
                             if verbose >= 2:
                                 print(fn + ":")