llama.cpp

[server] Cleanup a memory leak on exit

#7212

Merged