| commit | 3b1b63e8d8f7fcdf30d4c2af7c9ee519c662569a | [log] [tgz] |
|---|---|---|
| author | Nick Wellnhofer <wellnhofer@aevum.de> | Sun Mar 05 14:21:29 2017 +0100 |
| committer | Nick Wellnhofer <wellnhofer@aevum.de> | Sun Mar 05 16:29:44 2017 +0100 |
| tree | 5ddc8d32724e670567c2d6e3a6280ecb33a85e14 | |
| parent | de646e69ebc74cde8536b2b4b1a85ee4d5a6c54c [diff] |
Use Windows API to delete and rename files Delete files on Windows by calling CreateFile with FILE_FLAG_DELETE_ON_CLOSE and closing the handle immediately. Unlike DeleteFile, this allows files opened with FILE_SHARE_DELETE to be (eventually) deleted. Part of LUCY-324.