From 6ab0a3d81f988bd4965cceec1bd32c82f9464de5 Mon Sep 17 00:00:00 2001 From: Fabian Boehm Date: Tue, 14 Jun 2022 21:43:04 +0200 Subject: [PATCH] webconfig: Print url This makes it easier to get it if e.g. the browser can't open files in /tmp (... Ubuntu...) See #9014 --- share/tools/web_config/webconfig.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/share/tools/web_config/webconfig.py b/share/tools/web_config/webconfig.py index 18e9038e5..b9f95c3df 100755 --- a/share/tools/web_config/webconfig.py +++ b/share/tools/web_config/webconfig.py @@ -1689,6 +1689,10 @@ print( "Web config started at %s%s%s" % (esc["underline"], fileurl, esc["exit_attribute_mode"]) ) +print( + "If that doesn't work, try opening %s%s%s" + % (esc["underline"], url, esc["exit_attribute_mode"]) +) print("%sHit ENTER to stop.%s" % (esc["bold"], esc["exit_attribute_mode"]))