diff options
| author | Hein-Pieter van Braam | 2018-02-24 17:34:10 +0100 |
|---|---|---|
| committer | Hein-Pieter van Braam | 2018-02-24 17:37:07 +0100 |
| commit | d69d58deeaa523c6c38958b3956423ae8f814909 (patch) | |
| tree | 0aa9bd41b7724dd35ff745882aa8a9465fa5f1f9 /platform/javascript/os_javascript.cpp | |
| parent | 34591f94515f3ced1448686b729c2ed8cccebd1d (diff) | |
| download | godot-d69d58deeaa523c6c38958b3956423ae8f814909.tar.gz godot-d69d58deeaa523c6c38958b3956423ae8f814909.tar.zst godot-d69d58deeaa523c6c38958b3956423ae8f814909.zip | |
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.
Diffstat (limited to 'platform/javascript/os_javascript.cpp')
0 files changed, 0 insertions, 0 deletions