From e136b6673270dcc28630282dc90f273396d9921f Mon Sep 17 00:00:00 2001
From: Markus Zolliker <markus.zolliker@psi.ch>
Date: Wed, 21 May 2025 13:14:26 +0200
Subject: [PATCH] no extra headline for central server

---
 webserver.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/webserver.py b/webserver.py
index 529be81..398dc4b 100755
--- a/webserver.py
+++ b/webserver.py
@@ -420,11 +420,12 @@ a {
         if timerange:
             out.append(f'<h3><a href="/select_experiment?time=all">earlier dates</a></h3><br>')
         out.append('</table>')
-        if server.db.has_local:
-            out.append('<h3><a href="http://linse-c.psi.ch:8888/">central server</a></h3>')
         out.append('<h3>direct link to instruments:</h3>')
         out.extend([f'<a href="http://{ins}.psi.ch:{port}/">{ins.upper()}</a>&nbsp;\n'
                     for ins, port in instruments.items()])
+        if server.db.has_local:
+            out.append('<h3><a href="http://linse-c.psi.ch:8888/">linse-c (central)</a></h3>')
+
         out.extend(['</body></html>', ''])
     except Exception as e:
         logging.error('%s', traceback.format_exc())