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 }; }