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