/// <summary>
/// Kills process executor.
/// </summary>
protected Task KillProcessExecutorAsync(AsyncProcessExecutor executor)
{
Contract.Requires(executor != null);
ProcessDumper.TryDumpProcessAndChildren(ProcessId, WorkingDirectory, out DumpCreationException);
return(executor.KillAsync());
}
/// <inheritdoc />
public virtual Task KillAsync()
{
Contract.Requires(Started);
ProcessDumper.TryDumpProcessAndChildren(ProcessId, ProcessInfo.TimeoutDumpDirectory, out m_dumpCreationException);
return(m_processExecutor.KillAsync());
}
/// <inheritdoc />
public override Task KillAsync()
{
Contract.Requires(m_processExecutor != null);
ProcessDumper.TryDumpProcessAndChildren(ProcessId, GetOutputDirectory(), out m_dumpCreationException);
return(m_processExecutor.KillAsync());
}
