mvdbeek 8188e29283 LazyToolboxSearch: search every store's whoosh index ...

The populator writes one whoosh index per store, but search only opened
the default store's directory — tools served from a named store
(per-conf store="...") listed and ran fine yet never appeared in
/api/tools?q=. Search each configured store's index and merge hits by
BM25 score (ToolWhooshIndex.search_scored); scores from different
indexes aren't strictly comparable, but interleaving beats invisible
tools, and resolve_search_hit drops ids foreign to this toolbox.

Claude-Session: https://claude.ai/code/session_018L7ZmCv2ubKA3JNeSL8Pkr

2026-07-28 17:27:27 +02:00

..

galaxy

LazyToolboxSearch: search every store's whoosh index

2026-07-28 17:27:27 +02:00

galaxy_ext

…

galaxy_test

Relocate tool_source_store to galaxy.tools.source_store

2026-07-28 17:27:26 +02:00

tool_shed

Drop <repeat default=N> seeding

2026-07-22 08:11:31 +03:00

tool_shed_client

Drop support for Python 3.8

2026-06-25 15:12:05 +01:00