public void delete_thread(ThreadBase th) { th.exit = true; // Search must be already finished th.notify_one(); th.handle.Join(); // Wait for thread termination }
public static bool thread_create(out System.Threading.Thread handle, ParameterizedThreadStart start_routine, ThreadBase thread) { handle = new System.Threading.Thread(start_routine); handle.Start(thread); return(true); }