PR #14710 server : fix handling of the ignore_eos flag

server : fix handling of the ignore_eos flag #14710

ggerganov merged 1 commit into master from gg/server-fix-ignore-eos

server : fix handling of the ignore_eos flag

9f8d2859

ggerganov requested a review from

ngxson 274 days ago

github-actions added examples

github-actions added server

JohannesGaessler approved these changes on 2025-07-16

ggerganov merged 538cc77f into master 274 days ago

slaren commented on 2025-07-16

Reviewers

JohannesGaessler

slaren

ngxson

Assignees

No one assigned

Labels

examples server

Milestone

No milestone