protected void RequestClose(Edge e) {
EventHandler eh = EdgeCloseRequestEvent;
if( eh == null ) {
//We have to close the edge:
e.Close();
}
else {
try {
eh(this, new EdgeCloseRequestArgs(e));
}
catch(Exception x) {
Console.Error.WriteLine("ERROR: closing: {0} -- {1}", e, x);
e.Close();
}
}
}