fix: task_manager termination under Emscripten

leanprover · Dec 22, 2023 · ff97fce · ff97fce
1 parent cad5cce
commit ff97fce
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp
@@ -772,8 +772,11 @@ class task_manager {
         unique_lock<mutex> lock(m_mutex);
         m_shutting_down = true;
         m_queue_cv.notify_all();
+#ifndef LEAN_EMSCRIPTEN
         // wait for all workers to finish
         m_worker_finished_cv.wait(lock, [&]() { return m_num_std_workers + m_num_dedicated_workers == 0; });
+        // never seems to terminate under Emscripten
+#endif
     }
 
     void enqueue(lean_task_object * t) {