/// <summary>
/// Retrieves the base folder paths for files on the client that have been retrieved from the remote host.
/// Triggers a refresh of all open files so we make sure they are in the correct workspace.
/// </summary>
private async Task UpdatePathsToRemoteFilesAsync(CollaborationSession session)
{
var(remoteRootPaths, externalPaths) = await GetLocalPathsOfRemoteRootsAsync(session)
.ConfigureAwait(false);
// Make sure we update our references to the remote roots and iterate RDT only one at a time.
using (
await s_RemotePathsGate
.DisposableWaitAsync(CancellationToken.None)
.ConfigureAwait(false)
)
{
if (
IsRemoteSession &&
(
!_remoteWorkspaceRootPaths.Equals(remoteRootPaths) ||
!_registeredExternalPaths.Equals(externalPaths)
)
)
{
_remoteWorkspaceRootPaths = remoteRootPaths;
_registeredExternalPaths = externalPaths;
await RefreshAllFilesAsync().ConfigureAwait(false);
}
}
}
public bool Equals(CustomSet <T> .Builder obj)
{
if (factory != obj.factory)
{
return(false);
}
return(set.Equals(obj.set));
}
