public void Close()
{
realizers.UnregisterYComp();
if (ycompStream.IsStreamOpen)
{
ycompStream.Closing = true; // don't care if exit doesn't work
ycompStream.Write("exit\n");
}
ycompClient.Close();
ycompClient = null;
dumpInfo.OnNodeTypeAppearanceChanged -= new NodeTypeAppearanceChangedHandler(OnNodeTypeAppearanceChanged);
dumpInfo.OnEdgeTypeAppearanceChanged -= new EdgeTypeAppearanceChangedHandler(OnEdgeTypeAppearanceChanged);
}
