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); } }