From 70cf0b67155b941157cc679494963f6d21b95d10 Mon Sep 17 00:00:00 2001
From: Markus Zolliker <markus.zolliker@psi.ch>
Date: Mon, 2 May 2022 15:47:47 +0200
Subject: [PATCH] reintroduce set_se_list command

---
 commands.py      | 6 ++++++
 setups/frappy.py | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/commands.py b/commands.py
index 40e148c..8a97dc1 100644
--- a/commands.py
+++ b/commands.py
@@ -114,6 +114,12 @@ def frappy_start(service, cfg=None):
     return all_cfg
 
 
+@usercommand
+def set_se_list():
+    frappy_config = session.devices['frappy_config']
+    frappy_config.set_envlist()
+
+
 @usercommand
 @helparglist('cfg')
 def frappy_main(cfg=None):
diff --git a/setups/frappy.py b/setups/frappy.py
index 5f680b9..d98ba76 100644
--- a/setups/frappy.py
+++ b/setups/frappy.py
@@ -55,5 +55,5 @@ printinfo("  frappy_stick('')                         # remove stick")
 printinfo("  frappy_main('')                          # remove main SE apparatus")
 printinfo("  frappy_main()                            # show the current SE configuration")
 printinfo("=======================================================================================")
-frappy_config.set_envlist()
+set_se_list()
 '''