From 7c6df589064217520b7a76675008263e77dbda64 Mon Sep 17 00:00:00 2001 From: Alexander Zaft Date: Tue, 5 Nov 2024 14:36:41 +0100 Subject: [PATCH] fix frappy-server cfgfiles command frappy-server errors after 34893 Change-Id: Ifba758fbabc3aef32e20b683f1c1edbfea711a75 Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/34913 Tested-by: Jenkins Automated Tests Reviewed-by: Georg Brandl --- bin/frappy-server | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/frappy-server b/bin/frappy-server index 7fcf369..a7b1707 100755 --- a/bin/frappy-server +++ b/bin/frappy-server @@ -104,7 +104,7 @@ def main(argv=None): generalConfig.init(args.gencfg) logger.init(loglevel) - cfgfiles = [s.strip() for s in args.cfgfiles.split(',')] + cfgfiles = [s.strip() for s in args.cfgfiles.split(',')] if args.cfgfiles else None srv = Server(args.name, logger.log, cfgfiles=cfgfiles, interface=args.port, testonly=args.test)