llama.cpp

server : correct signal handler

#11795

Merged