Mahtan/wagic
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Renamed the resource package to core_017.zip and added a renaming of settings and player options.orig.txt

Browse Source
This commit is contained in:
Xawotihs
2011-12-29 22:28:13 +00:00
parent 02b04e6524
commit 8d6566da0f
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
projects/mtg/bin/Res/createResourceZip.py
View File

@@ -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')