-// ThreadPool::init() is called at startup to create and launch requested threads,
-// that will go immediately to sleep. We cannot use a constructor because Threads
-// is a static object and we need a fully initialized engine at this point due to
-// allocation of Endgames in the Thread constructor.
-
-void ThreadPool::init() {
-
- timer = new_thread<TimerThread>();
- push_back(new_thread<MainThread>());
- read_uci_options();
-}
-
-
-// ThreadPool::exit() terminates the threads before the program exits. Cannot be
-// done in destructor because threads must be terminated before freeing us.
+/// ThreadPool::exit() terminates threads before the program exits. Cannot be
+/// done in the destructor because threads must be terminated before deleting
+/// any static object, so before main() returns.