Merge pull request WikiTeam#44 from randomnetcat/fix-launcher-path

Remove xml part of launcher wikidump name
gausie · Dec 24, 2022 · acd2b82 · acd2b82
2 parents 798f6e1 + 313169b
commit acd2b82
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/wikiteam3/launcher.py b/wikiteam3/launcher.py
@@ -172,8 +172,8 @@ def main():
 
             pathHistoryTmp = Path("..", prefix + "-history.xml.7z.tmp")
             pathHistoryFinal = Path("..", prefix + "-history.xml.7z")
-            pathFullTmp = Path("..", prefix + "-wikidump.xml.7z.tmp")
-            pathFullFinal = Path("..", prefix + "-wikidump.xml.7z")
+            pathFullTmp = Path("..", prefix + "-wikidump.7z.tmp")
+            pathFullFinal = Path("..", prefix + "-wikidump.7z")
 
             # Make a non-solid archive with all the text and metadata at default compression. You can also add config.txt if you don't care about your computer and user names being published or you don't use full paths so that they're not stored in it.
             compressed = subprocess.call(