diff options
author | Daniel Hiltgen <dhiltgen@users.noreply.github.com> | 2024-02-18 08:23:16 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-18 18:23:16 +0200 |
commit | 66c1968f7a2e895675425e875b6589f1233a1b52 (patch) | |
tree | 73f6d5db4e7be09e2d901a7c548d692385a57945 /examples/server/json-schema-to-grammar.mjs.hpp | |
parent | 1dcc3fde004787e6fc4d84c9de0bb34cd2901a3e (diff) |
server : graceful server shutdown (#5244)
This updates the server queue to support graceful shutdown of the server on signals.
Diffstat (limited to 'examples/server/json-schema-to-grammar.mjs.hpp')
0 files changed, 0 insertions, 0 deletions