From 969ffc4ff49030ee59002d16655611a11cfff8e4 Mon Sep 17 00:00:00 2001
From: davelopez <46503462+davelopez@users.noreply.github.com>
Date: Sat, 20 Jul 2024 12:25:07 +0200
Subject: [PATCH] Do not restrict tool search to tool ID

This will produce less accurate results but order of magnitude faster. There is probably something that needs to be tweaked in the whoosh search in the toolshed for this to work with IDs only.
---
 server/packages/server-common/src/services/toolShed.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/packages/server-common/src/services/toolShed.ts b/server/packages/server-common/src/services/toolShed.ts
index f6252dd..354049e 100644
--- a/server/packages/server-common/src/services/toolShed.ts
+++ b/server/packages/server-common/src/services/toolShed.ts
@@ -71,7 +71,7 @@ export class ToolshedServiceImpl implements ToolshedService {
     const toolshedUrl = await this.validateToolshedUrl();
     const toolsApiUrl = `${toolshedUrl}/api/tools`;
     const queryParams = new URLSearchParams({
-      q: `id:${toolId}`,
+      q: toolId,
       page_size: limit.toString(),
     });