From 19d85e164c4fa7fac896518e64240d40fbe790f4 Mon Sep 17 00:00:00 2001 From: Ruben Fiszel Date: Sat, 10 Jun 2023 00:36:57 +0200 Subject: [PATCH] handle arbitrary port for cli --- cli/dev.ts | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/cli/dev.ts b/cli/dev.ts index bbd746891c..a4d4c8f92f 100644 --- a/cli/dev.ts +++ b/cli/dev.ts @@ -158,7 +158,11 @@ async function dev(opts: GlobalOptions & { filter?: string }) { }); const port = getPort(3000); - console.log("Started dev server at http://localhost:" + port); + console.log( + "Started dev server at http://localhost:" + + port + + (port == 3000 ? "/" : "/?port=" + port) + ); console.log( "Dev server will automatically point to the last script edited locally" );