| 1356 | } |
| 1357 | |
| 1358 | void request_cancel(int task_id) |
| 1359 | { |
| 1360 | std::lock_guard<std::mutex> lock(mutex_tasks); |
| 1361 | task_server task; |
| 1362 | task.id = id_gen++; |
| 1363 | task.type = CANCEL_TASK; |
| 1364 | task.target_id = task_id; |
| 1365 | queue_tasks.push_back(task); |
| 1366 | } |
| 1367 | |
| 1368 | void process_tasks() |
| 1369 | { |