From 8d6566da0fbff5749eefab78ac41e1e2189e7b79 Mon Sep 17 00:00:00 2001 From: Xawotihs Date: Thu, 29 Dec 2011 22:28:13 +0000 Subject: [PATCH] Renamed the resource package to core_017.zip and added a renaming of settings and player options.orig.txt --- projects/mtg/bin/Res/createResourceZip.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/projects/mtg/bin/Res/createResourceZip.py b/projects/mtg/bin/Res/createResourceZip.py index ca58a6007..247378b37 100644 --- a/projects/mtg/bin/Res/createResourceZip.py +++ b/projects/mtg/bin/Res/createResourceZip.py @@ -26,7 +26,13 @@ class ZipUtilities: def main(): utilities = ZipUtilities() - filename = 'Res.zip' + filename = 'core_017.zip' + if not os.path.isfile('settings/options.txt'): + os.rename('settings/options.orig.txt', 'settings/options.txt') + if not os.path.isfile('player/options.txt'): + os.rename('player/options.orig.txt', 'player/options.txt') + + zip_file = zipfile.ZipFile(filename, 'w', zipfile.ZIP_DEFLATED) utilities.addFolderToZip(zip_file, 'themes') utilities.addFolderToZip(zip_file, 'sound')