PR #7212 [server] Cleanup a memory leak on exit

[server] Cleanup a memory leak on exit #7212

ggerganov merged 2 commits into ggml-org:master from stevegrubb:exit-leak1

[server] Cleanup a memory leak on exit

ce9c5aeb

make tab into spaces

820fe7e6

mofosyne added bugfix

mofosyne added Review Complexity : Low

mofosyne added server

ggerganov approved these changes on 2024-05-11

ggerganov merged 98863133 into master 1 year ago

Reviewers

ggerganov

Assignees

No one assigned

Labels

bugfix Review Complexity : Low server

Milestone

No milestone