public void Dispose()
{
if (submissions.Count > 0)
{
WaitHandle.WaitAll(submissions.Select(s => s.WaitHandle).ToArray());
}
BuildNodeManager.Stop();
}
public void ResetCaches()
{
if (OngoingBuildParameters != null)
{
throw new InvalidOperationException("Cannot reset caches while builds are in progress.");
}
BuildNodeManager.ResetCaches();
}
public void EndBuild()
{
if (ongoing_build_parameters == null)
{
throw new InvalidOperationException("Build has not started");
}
if (submissions.Count > 0)
{
WaitHandle.WaitAll(submissions.Select(s => s.WaitHandle).ToArray());
}
BuildNodeManager.Stop();
ongoing_build_parameters = null;
}
