/// <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();
}
