From c7143a6dc7203eb7346c81cbffba8446f2e347a8 Mon Sep 17 00:00:00 2001 From: Alexander Zaft Date: Mon, 21 Oct 2024 14:11:55 +0200 Subject: [PATCH] server: fix positional argument lint Change-Id: Ib718826e7bbce2c6fcc9b39879c30baec1ecaa5a Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/34845 Reviewed-by: Georg Brandl Tested-by: Jenkins Automated Tests --- frappy/server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frappy/server.py b/frappy/server.py index d82c72d..089ca0c 100644 --- a/frappy/server.py +++ b/frappy/server.py @@ -60,7 +60,7 @@ class Server: } _restart = True - def __init__(self, name, parent_logger, cfgfiles=None, interface=None, testonly=False): + def __init__(self, name, parent_logger, *, cfgfiles=None, interface=None, testonly=False): """initialize server Arguments: