one more spot
This commit is contained in:
parent
8067639cb0
commit
157bd11e69
1 changed files with 4 additions and 4 deletions
|
@ -1427,16 +1427,16 @@ struct server_queue {
|
||||||
int post(server_task task, bool front = false) {
|
int post(server_task task, bool front = false) {
|
||||||
std::unique_lock<std::mutex> lock(mutex_tasks);
|
std::unique_lock<std::mutex> lock(mutex_tasks);
|
||||||
GGML_ASSERT(task.id != -1);
|
GGML_ASSERT(task.id != -1);
|
||||||
|
// if this is cancel task make sure to clean up pending tasks
|
||||||
|
if (task.type == SERVER_TASK_TYPE_CANCEL) {
|
||||||
|
cleanup_pending_task(task.id_target);
|
||||||
|
}
|
||||||
QUE_DBG("new task, id = %d, front = %d\n", task.id, front);
|
QUE_DBG("new task, id = %d, front = %d\n", task.id, front);
|
||||||
if (front) {
|
if (front) {
|
||||||
queue_tasks.push_front(std::move(task));
|
queue_tasks.push_front(std::move(task));
|
||||||
} else {
|
} else {
|
||||||
queue_tasks.push_back(std::move(task));
|
queue_tasks.push_back(std::move(task));
|
||||||
}
|
}
|
||||||
// if this is cancel task make sure to clean up pending tasks
|
|
||||||
if (task.type == SERVER_TASK_TYPE_CANCEL) {
|
|
||||||
cleanup_pending_task(task.id_target);
|
|
||||||
}
|
|
||||||
condition_tasks.notify_one();
|
condition_tasks.notify_one();
|
||||||
return task.id;
|
return task.id;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue