public virtual void Exception(TodoManager mgr, Exception e)
{
if (exc == null)
{
throw new Exception("Exception method not defined");
}
exc(mgr, e);
}
public virtual void Doit(TodoManager mgr)
{
if (doIt == null)
{
throw new Exception("Doit method not defined");
}
doIt(mgr);
}
private void FireDown()
{
status.Set(SessionConsts.DOWN);
TodoManager.AddTodo(new TodoDelegateImpl(
delegate(TodoManager mgr)
{
session.SessionNotify(SessionConsts.DOWN);
},
delegate(TodoManager mgr, Exception e1)
{
Console.WriteLine(e1);
}));
}
public void Exception(String what, Exception e)
{
TodoManager.AddTodo(new TodoDelegateImpl(
delegate(TodoManager mgr)
{
session.SessionNotify(e);
},
delegate(TodoManager mgr, Exception e1)
{
Console.WriteLine(e);
if (e1 != e)
{
Console.WriteLine(e1);
}
}));
}
