import { dev } from "$app/environment"; | |
export async function load({ request }: { request: Request }): Promise<{ | |
server: string; | |
port: string; | |
local_dev_mode: string | undefined; | |
}> { | |
const server = | |
request.headers.get("x-gradio-server") || "http://127.0.0.1:7860"; | |
const port = request.headers.get("x-gradio-port") || "7860"; | |
const local_dev_mode = | |
request.headers.get("x-gradio-local-dev-mode") || dev ? "true" : undefined; | |
return { | |
server: server, | |
port: port, | |
local_dev_mode: local_dev_mode | |
}; | |
} | |