diff options
| author | Rob Austein <sra@hactrn.net> | 2014-05-30 17:32:06 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2014-05-30 17:32:06 +0000 |
| commit | 2d305515c1cd0ed81475a0f8d4dcc20f29f050b1 (patch) | |
| tree | 25aa026615865ef447331341ad75c0c42fe89ff0 /rpki/log.py | |
| parent | 3519e8117e959ec35fa701986215d5fb18e553f1 (diff) | |
Rewritten rpki.log.init() still confuses PyLint.
svn path=/trunk/; revision=5852
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]) |