server : stop gracefully on SIGTERM (#6348)

This commit is contained in:
Eric Zhang 2024-03-28 16:50:48 +08:00 committed by GitHub
parent d2d8f38996
commit 6902cb7f2e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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;