From fbd4d8eb6f586b6ed0278f0b8ddc7fde8cb11605 Mon Sep 17 00:00:00 2001
From: Chris Ballance <chris.ballance@physics.ox.ac.uk>
Date: Sat, 25 Nov 2017 12:00:03 +0000
Subject: [PATCH] dashboard: log server address even if friendly name given

---
 artiq/frontend/artiq_dashboard.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/artiq/frontend/artiq_dashboard.py b/artiq/frontend/artiq_dashboard.py
index a00675387..22e7332a8 100755
--- 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()