protected void DoWriteLine(string message)
{
if (file != null) {
TimeSpan diff = DateTime.Now - start_time;
string timestamp = new DateTime (diff.Ticks).ToString ("mm:ss:fffffff", CultureInfo.InvariantCulture);
writer.WriteLine ("[{0}] {1}", timestamp, message);
} else
writer.WriteLine ("{0}", message);
}