From 908b98dad8110e18abf7aa0fe1a5133e1350436c Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 22 Dec 2023 13:35:31 +0100
Subject: [PATCH] fix: `task_manager` termination under Emscripten

---
 src/runtime/object.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/runtime/object.cpp b/src/runtime/object.cpp
index 2106325d0e..5ec9bbcb90 100644
--- a/src/runtime/object.cpp
+++ b/src/runtime/object.cpp
@@ -772,8 +772,11 @@ public:
         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) {