dashboard: log server address even if friendly name given

2017-11-25 12:00:03 +00:00 · 2017-11-25 12:00:03 +00:00 · fbd4d8eb6f
parent 9a1adfe65c
commit fbd4d8eb6f
1 changed files with 4 additions and 1 deletions
--- a/artiq/frontend/artiq_dashboard.py
+++ b/artiq/frontend/artiq_dashboard.py
@ -218,8 +218,11 @@ def main():
    if d_log0 is not None:
        main_window.tabifyDockWidget(d_schedule, d_log0)

+    server_description = server_name
+    if server_name != args.server:
+        server_description += " ({})".format(args.server)
    logging.info("ARTIQ dashboard %s connected to %s",
-                 artiq_version, server_name)
+                 artiq_version, server_description)

    # run
    main_window.show()