public void DumpStats() { if ((mStats != null) && (DebuggingLevel >= Common.DebugLevel.Quiet)) { mStats.Dump(DebuggingLevel.ToString(), GetValue <ManagerStory.MaxDumpLengthOption, int>()); } }