fix: drop tool IDs from the tools and tool-ids URL parameters that do not match a known tool (#29803)

This commit is contained in:
G30 2026-09-09 12:30:32 -04:00 committed by GitHub
parent b38755b21c
commit a253bf0c32
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -2160,13 +2160,13 @@
.get('tools')
?.split(',')
.map((id) => id.trim())
.filter((id) => id);
.filter((id) => id && ($tools ?? []).find((t) => t.id === id));
} else if ($page.url.searchParams.get('tool-ids')) {
selectedToolIds = $page.url.searchParams
.get('tool-ids')
?.split(',')
.map((id) => id.trim())
.filter((id) => id);
.filter((id) => id && ($tools ?? []).find((t) => t.id === id));
}
// Restore tool selection after OAuth redirect