0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Close the file before git adding it, so you can be sure the buffers...

Browse source 
...have been flushed.
This commit is contained in:
Alexander van Gessel 2012-09-25 14:13:02 +01:00
parent 45083701af
commit a2f64398e7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
data/tools/wesnoth/wescamp.py
View file

@ -87,7 +87,7 @@ if __name__ == "__main__":
# Store add-on timestamp
with open(os.path.join(addon_obj.get_dir(), ADDONVER_FILE), "w") as timestamp_file:
timestamp_file.write(str(server_timestamp))
addon_obj._execute(["git", "add", ADDONVER_FILE])
addon_obj._execute(["git", "add", ADDONVER_FILE])
addon_obj.commit("wescamp.py: Update from add-on server")
logging.info("New version of addon '%s' uploaded.", addon_name)