diff options
| author | Hein-Pieter van Braam <hp@tmm.cx> | 2018-02-24 17:34:10 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-24 18:09:20 +0100 |
| commit | 8cde69f5f2fa78ebd7651186eb8bd3abae9dfdd5 (patch) | |
| tree | 0abe8847d38e35a339011f46d126914e9df36f7c /version.py | |
| parent | bc4b7bc82e9a68975849de92ab6bdcd3f5ef4e62 (diff) | |
Fix Windows file case changing
Windows APIs don't really provide a way to change a filename case. This
implements a little juggling to make this work. We first create a
guaranteed unique temporary file, we then replace the original file with
the temporary file and we finally rename it to the desired filename
case.
(cherry picked from commit d69d58deeaa523c6c38958b3956423ae8f814909)
Diffstat (limited to 'version.py')
0 files changed, 0 insertions, 0 deletions