Dylan K. Taylor 38b6b39cb3
Filesystem: workaround a stupid Windows issue in safeFilePutContents()
occasionally Windows will randomly decide to deny us access to rename the file for no reason whatsoever. If this happens, we attempt an old-style copy and delete.
If the rename failed for a legit reason, the copy and delete should also fail and generate an error message. If it was Windows being a spaz, it should work normally without errors.
2021-12-29 15:26:34 +00:00
..
2021-09-03 21:07:39 +01:00
2020-01-22 11:55:03 +00:00
2021-03-28 18:11:53 +01:00
2021-09-03 21:07:39 +01:00
2021-09-03 21:16:37 +01:00
2020-05-20 20:20:47 +01:00
2020-08-16 00:58:55 +01:00
2021-10-14 15:14:27 +01:00
...
2021-08-12 23:37:24 +01:00
2021-11-01 18:13:24 +00:00