public void Dispose() { if (submissions.Count > 0) { WaitHandle.WaitAll(submissions.Select(s => s.WaitHandle).ToArray()); } BuildNodeManager.Stop(); }
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; }