} /* RunLogAddMsg */
private void RunLogMsgQueueFlush()
{
runLogGoalie.StartBlock();
if (runLogMsgQueue != null)
{
while (runLogMsgQueue.Count > 0)
{
String msg = runLogMsgQueue.Dequeue();
UpdateLog.AppendText(msg);
}
}
runLogGoalie.EndBlock();
} /* RunLogMsgQueueFlush */
