mirror/min-ed-launcher
3
0
Fork 0
mirror of https://github.com/rfvgyhn/min-ed-launcher.git synced 2026-02-04 10:45:34 +00:00
Code Issues Projects Releases Wiki Activity

use better api to delete test file when checking for write access + attempt to reset dir metadata

Browse Source
This commit is contained in:
Chris
2025-07-28 16:49:13 -06:00
parent f570944944
commit 493e2e336b
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/MinEdLauncher/Extensions.fs
View File

@ -339,9 +339,10 @@ module FileIO =
let hasWriteAccess directory =
try
let temp = Path.Combine(directory, "deleteme.txt")
File.WriteAllText(temp, "")
File.Delete(temp)
let originalWriteTime = Directory.GetLastWriteTimeUtc(directory);
use _ = File.Create(Path.Combine(directory, Path.GetRandomFileName()), 1, FileOptions.DeleteOnClose)
// Restore original write time
Directory.SetLastWriteTimeUtc(directory, originalWriteTime)
true
with
| :? UnauthorizedAccessException -> false