From bd5cca11b097c8ccb29dddcab9b7446ca5a9f37f Mon Sep 17 00:00:00 2001 From: ZXED Date: Sat, 9 Mar 2024 12:07:44 +0300 Subject: [PATCH] server: error handling: convert all unhandled exceptions to API errors --- examples/server/server.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/examples/server/server.cpp b/examples/server/server.cpp index 420bc644d..d1e48b544 100644 --- a/examples/server/server.cpp +++ b/examples/server/server.cpp @@ -24,6 +24,7 @@ #include #include #include +#include #include #include #include @@ -1468,6 +1469,8 @@ struct server_context { } } catch (const llama_error & err) { send_error(task, err); + } catch (const std::exception & err) { + send_error(task, llama_error("unhandled", err.what())); } } break; case SERVER_TASK_TYPE_CANCEL: