From bfc342ca97232d3772af56613fa362bd9fe33a29 Mon Sep 17 00:00:00 2001 From: Daniel Bevenius Date: Mon, 3 Feb 2025 14:33:44 +0100 Subject: [PATCH] squash! server : add server_task_type field to server_task_result Add a check for the server_task_type in the server.cpp file. This is to ensure that the server_task_type is correct when the server_task_type is SERVER_TASK_TYPE_SLOT_RESTORE. This is because the server_task_type is SERVER_TASK_TYPE_SLOT_SAVE when the server_task_type is SERVER_TASK_TYPE_SLOT_RESTORE. --- examples/server/server.cpp | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/examples/server/server.cpp b/examples/server/server.cpp index d23e4f5d2..329492e29 100644 --- a/examples/server/server.cpp +++ b/examples/server/server.cpp @@ -3738,7 +3738,11 @@ int main(int argc, char ** argv) { return; } GGML_ASSERT(result.get() != nullptr); - GGML_ASSERT(result.get()->get_server_task_type() == type); + if (type == SERVER_TASK_TYPE_SLOT_RESTORE) { + GGML_ASSERT(result.get()->get_server_task_type() == SERVER_TASK_TYPE_SLOT_SAVE); + } else { + GGML_ASSERT(result.get()->get_server_task_type() == type); + } res_ok(res, result->to_json()); };