File size: 519 Bytes
0ad74ed |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 |
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
};
}
|