fix: direct tool server

This commit is contained in:
Timothy Jaeryang Baek
2025-08-26 13:15:47 +04:00
parent 4b22aa819c
commit f4047eea77
3 changed files with 38 additions and 10 deletions

View File

@@ -114,7 +114,20 @@
banners.set(await getBanners(localStorage.token));
tools.set(await getTools(localStorage.token));
toolServers.set(await getToolServersData($i18n, $settings?.toolServers ?? []));
let toolServersData = await getToolServersData($settings?.toolServers ?? []);
toolServersData = toolServersData.filter((data) => {
if (data.error) {
toast.error(
$i18n.t(`Failed to connect to {{URL}} OpenAPI tool server`, {
URL: data?.url
})
);
return false;
}
return true;
});
toolServers.set(toolServersData);
document.addEventListener('keydown', async function (event) {
const isCtrlPressed = event.ctrlKey || event.metaKey; // metaKey is for Cmd key on Mac