From c21bec371673f5e5994544521a958c7dd8a8e3d9 Mon Sep 17 00:00:00 2001 From: Kolja Lampe Date: Thu, 29 Jul 2021 22:40:13 +0200 Subject: [PATCH] Always print where the playground is running --- cli/src/web_ui.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/cli/src/web_ui.rs b/cli/src/web_ui.rs index bbdbd381..d3b51ade 100644 --- a/cli/src/web_ui.rs +++ b/cli/src/web_ui.rs @@ -73,8 +73,9 @@ pub fn serve(grammar_path: &Path, open_in_browser: bool) { ) }) .unwrap(); + println!("Started playground on '{}'", url); if open_in_browser { - if let Err(_) = webbrowser::open(&format!("http://127.0.0.1:{}", port)) { + if let Err(_) = webbrowser::open(&url) { eprintln!("Failed to open '{}' in a web browser", url); } }