server: harden the file_glob_search directory walk - #26626

Merged

ServeurpersoCom merged 7 commits into

ggml-org:masterfrom

ServeurpersoCom:server/file-glob-search-hardening

Aug 5, 2026

Commits on Aug 5, 2026

server: don't walk Windows junctions in file_glob_search
ServeurpersoCom
committed
08426d0
server: report a directory the walk could not read
ServeurpersoCom
committed
7d96c50
server: simplify the file_glob_search listing plumbing
ServeurpersoCom
committed
8e39ea3
ui: expire cached picker searches
ServeurpersoCom
committed
f52d65f
server: address review from @ngxson
ServeurpersoCom
committed
d2bb006
server: convert tool paths as UTF-8 on Windows
ServeurpersoCom
committed
85e9433
server: fold the platform branch inside console_output_to_utf8
ServeurpersoCom
committed
18413d4