private static void Dispose () { ServiceManager.JobScheduler.CancelAll (true); ServiceManager.Shutdown (); lock (running_clients) { while (running_clients.Count > 0) { running_clients.Pop ().Dispose (); } } }