llama.cpp

server : fix thread.join() on exit

#12831

Merged