public void OnEvent(string s) { lock (sync_) { file_.WriteLine("<event> " + s); file_.Flush(); } }
/// FIXME do real logging public void Log(string s) { if (log_ != null) { log_.OnEvent(s); } }