From f1c81a8a4314db1bf3ad66c86702edd9f991b07d Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Thu, 26 Mar 2026 16:35:49 +0100 Subject: [PATCH] add instrument arg instead of empty args --- webserver.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webserver.py b/webserver.py index f8c9515..c51d912 100755 --- a/webserver.py +++ b/webserver.py @@ -431,7 +431,7 @@ a { label = " ".join(devices) if remote: prev.legend = 'linse-c*: history graphics only' - out.append(f'{ins.upper()}' + out.append(f'{ins.upper()}' f'{label}{link("linse-c*")}') else: out.append(f'{link(left)}{label}')