/// <summary>
/// Execute the shim handler's Run method, signal ok and then dispose of the shim.
/// </summary>
private void RunShim()
{
try
{
m_shimHandler.Run(m_shim);
}
catch (TerminatingException)
{
}
// Do not block, if the other end of the pipe is already deleted
m_shim.TrySignalOK();
m_shim.Dispose();
}
/// <summary>
/// Execute the shimhandler's Run method, signal ok and then dispose of the shim.
/// </summary>
private void RunShim()
{
try
{
m_shimHandler.Run(m_shim);
}
catch (TerminatingException)
{}
// Do not block, if the other end of the pipe is already deleted
m_shim.Options.SendTimeout = TimeSpan.Zero;
try
{
m_shim.SignalOK();
}
catch (AgainException)
{}
m_shim.Dispose();
}