update 2023-05-30 from gitmlz

Change-Id: I0b1eb2941692fde5c9d98f107fc38315625dcfdb
2023-05-31 14:16:12 +02:00
parent 726665ebd8
commit c5d429346d
8 changed files with 111 additions and 11 deletions
--- a/etc/frappy-generator
+++ b/etc/frappy-generator
@ -39,7 +39,7 @@ def main():
    frappy_unit = '/lib/systemd/system/frappy@.service'
    wants_dir = normal_dir + '/frappy.target.wants'

-    all_servers = [base.rstrip('_cfg') for (base, ext) in
+    all_servers = [base[:-4] if base.endswith('_cfg') else base for (base, ext) in
                   map(path.splitext, os.listdir(config_dir)) if ext == '.py']
    all_servers.sort()