public void Dispose() { if (Provider != null) { Provider.Dispose(); Provider = null; } }
public EmberTree(int port, string emberTreeIdentifier, string emberTreeDescription) { Provider = new EmberPlusProvider(port, emberTreeIdentifier, emberTreeDescription); }