void McsStderrDataReceived (object sender, DataReceivedEventArgs args) { if (args.Data != null) { mcsOutMutex.WaitOne (); mcsOutput.Add (args.Data); mcsOutMutex.ReleaseMutex (); } }