fix(types): ignore $fetch types

zio/stable
Daniel Roe 2023-01-12 22:58:41 +00:00
parent 8c2aed0590
commit 1e538cb8cd
1 changed files with 2 additions and 2 deletions

View File

@ -25,7 +25,7 @@ async function oauth() {
server = server.split('/')[0] server = server.split('/')[0]
try { try {
location.href = await globalThis.$fetch(`/api/${server || publicServer.value}/login`, { location.href = await (globalThis.$fetch as any)(`/api/${server || publicServer.value}/login`, {
method: 'POST', method: 'POST',
body: { body: {
origin: location.origin, origin: location.origin,
@ -119,7 +119,7 @@ function select(index: number) {
onMounted(async () => { onMounted(async () => {
input?.focus() input?.focus()
knownServers = await globalThis.$fetch('/api/list-servers') knownServers = await (globalThis.$fetch as any)('/api/list-servers')
fuse = new Fuse(knownServers, { shouldSort: true }) fuse = new Fuse(knownServers, { shouldSort: true })
}) })