From: Eric Zhang <redacted>
Date: Thu, 28 Mar 2024 08:50:48 +0000 (+0800)
Subject: server : stop gracefully on SIGTERM (#6348)
X-Git-Tag: upstream/0.0.4488~1924
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=6902cb7f2e3479f364ee177118200fb7e4e9fc92;p=pkg%2Fggml%2Fsources%2Fllama.cpp

server : stop gracefully on SIGTERM (#6348)
---

diff --git a/examples/server/server.cpp b/examples/server/server.cpp
index 53ad9239..92090b92 100644
--- a/examples/server/server.cpp
+++ b/examples/server/server.cpp
@@ -3566,6 +3566,7 @@ int main(int argc, char ** argv) {
     sigemptyset (&sigint_action.sa_mask);
     sigint_action.sa_flags = 0;
     sigaction(SIGINT, &sigint_action, NULL);
+    sigaction(SIGTERM, &sigint_action, NULL);
 #elif defined (_WIN32)
     auto console_ctrl_handler = +[](DWORD ctrl_type) -> BOOL {
         return (ctrl_type == CTRL_C_EVENT) ? (signal_handler(SIGINT), true) : false;