Closed cmaglie closed 1 year ago
Please check if the PR fulfills these requirements
What kind of change does this PR introduce? Do proper cleanup of temporary folders.
What is the current behavior? Temp directories are not removed after receiving the shutdown message, see https://github.com/arduino/arduino-language-server/issues/145 for details
shutdown
What is the new behavior? The shutdown message is now properly handled and the temp directories are removed.
Other information: Partially resolve #145
Please check if the PR fulfills these requirements
What kind of change does this PR introduce? Do proper cleanup of temporary folders.
What is the current behavior? Temp directories are not removed after receiving the
shutdown
message, see https://github.com/arduino/arduino-language-server/issues/145 for detailsWhat is the new behavior? The
shutdown
message is now properly handled and the temp directories are removed.Other information: Partially resolve #145