From dd7e853b41ee77e44e0b5cb2c37f1ccca8318148 Mon Sep 17 00:00:00 2001
From: Xuan Son Nguyen <son@huggingface.co>
Date: Fri, 6 Sep 2024 13:18:45 +0200
Subject: [PATCH] pop_deferred_task: also notify

---
 examples/server/server.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/server/server.cpp b/examples/server/server.cpp
index 08bf0070a..bc5e02a30 100644
--- a/examples/server/server.cpp
+++ b/examples/server/server.cpp
@@ -474,6 +474,7 @@ struct server_queue {
             queue_tasks_deferred.pop_front();
             queue_tasks.push_back(std::move(task));
         }
+        condition_tasks.notify_one();
     }
 
     // end the start_loop routine