Teeworlds
discord.gg/teeworlds / development
For discussions around the development of the official Teeworlds
Between 2020-05-21 00:00:00Z and 2020-05-22 00:00:00Z
GitHub
BOT
2020-05-21 14:25:48Z
Robyt3
[teeworlds/teeworlds] Pull request opened: #2629 Delete existing corrupted map file before renaming tmp
Just delete the file if it exists before renaming the .tmp file. It only exists if it has been corrupted and its hash does not match the filename. Closes #2628.
Exported 1 message(s)