diff options
Diffstat (limited to 'rpki/log.py')
| -rw-r--r-- | rpki/log.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rpki/log.py b/rpki/log.py index 53cd0df7..a4493b0e 100644 --- a/rpki/log.py +++ b/rpki/log.py @@ -196,6 +196,8 @@ def init(ident = None, args = None): Default logging destination is stderr if "args" is not specified. """ + # pylint: disable=E1103 + if ident is None: ident = os.path.basename(sys.argv[0]) |