public LeaseSource(string version, RefCountedFileLock fileLock)
{
using var lease = OwnershipTracker.Create(fileLock.Lease());
Version = version;
FileLock = fileLock;
Lease = lease.ReleaseOwnership();
}
private LeaseSource?GetCurrentCachedTool()
{
foreach (var info in TryGetVersionDirectories().OrderByDescending(d => d.Version))
{
if (info is (_, var rawVersion, { } directory) &&
RefCountedFileLock.CreateIfExists(Path.Join(directory, fileName)) is { } fileLock)
{
return(new LeaseSource(rawVersion, fileLock));
}
}
return(null);
}
public static async Task <RefCountedFileLock> GetOrDownloadFileAsync(string filePath, Func <CancellationToken, Task <Stream> > downloadAsync, CancellationToken cancellationToken)
{
if (filePath is null || !Path.IsPathFullyQualified(filePath))
{
throw new ArgumentException("The file path must be fully qualified.", nameof(filePath));
}
if (downloadAsync is null)
{
throw new ArgumentNullException(nameof(downloadAsync));
}
var fileLock = RefCountedFileLock.CreateIfExists(filePath);
if (fileLock is null)
{
var stream = await downloadAsync.Invoke(cancellationToken).ConfigureAwait(false);
await using var _ = stream.ConfigureAwait(false);
using var tempFile = new TempFile();
using (var file = tempFile.OpenStream())
await stream.CopyToAsync(file, cancellationToken).ConfigureAwait(false);
do
{
Directory.CreateDirectory(Path.GetDirectoryName(filePath) !);
try
{
File.Move(tempFile.Path, filePath);
}
catch (IOException ex) when(ex.GetErrorCode() == WinErrorCode.AlreadyExists)
{
}
fileLock = RefCountedFileLock.CreateIfExists(filePath);
} while (fileLock is null);
}
return(fileLock);
}
