From 421a05ae5ff843fe6bdefc1a6179dfddb879871d Mon Sep 17 00:00:00 2001 From: Techatrix <19954306+Techatrix@users.noreply.github.com> Date: Mon, 6 Mar 2023 18:34:09 +0000 Subject: [PATCH] send response on shutdown request (#1037) --- src/Server.zig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Server.zig b/src/Server.zig index 8b93af4..4d13006 100644 --- a/src/Server.zig +++ b/src/Server.zig @@ -1979,7 +1979,7 @@ fn initializedHandler(server: *Server, notification: types.InitializedParams) Er try server.requestConfiguration(); } -fn shutdownHandler(server: *Server, _: void) Error!void { +fn shutdownHandler(server: *Server, _: void) Error!?void { defer server.status = .shutdown; if (server.status != .initialized) return error.InvalidRequest; // received a shutdown request but the server is not initialized! }