public void Stop() { service.shutdown(); metadata_pub.shutdown(); map_pub.shutdown(); server.shutdown(); }
public void Dispose() { if (_cli != null) { _cli.shutdown(); _cli = null; } if (setServer != null) { setServer.shutdown(); setServer = null; } }