From 0b501ba4444b050f164837054c778c3617ce1ac3 Mon Sep 17 00:00:00 2001 From: Alexander Zaft Date: Wed, 22 Mar 2023 12:30:02 +0100 Subject: [PATCH] Fix generator Change-Id: Ic332e9c130b56e446787af87718d4028f2aac714 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/30746 Tested-by: Jenkins Automated Tests Reviewed-by: Alexander Zaft --- etc/frappy-generator | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/frappy-generator b/etc/frappy-generator index 0b11906..9cf67b6 100755 --- a/etc/frappy-generator +++ b/etc/frappy-generator @@ -39,8 +39,8 @@ def main(): frappy_unit = '/lib/systemd/system/frappy@.service' wants_dir = normal_dir + '/frappy.target.wants' - all_servers = [base for (base, ext) in - map(path.splitext, os.listdir(config_dir)) if ext == '.cfg'] + all_servers = [base.rstrip('_cfg') for (base, ext) in + map(path.splitext, os.listdir(config_dir)) if ext == '.py'] all_servers.sort() for srv in all_servers: