public static void Flush() { if(NSTraceOptions.UseSystemTrace) Trace.Flush(); foreach(TraceListener tl in Listeners) tl.Flush(); } #endregion