llama.cpp

server : fix divide-by-zero in metrics reporting

#11915

Merged