From 2d305515c1cd0ed81475a0f8d4dcc20f29f050b1 Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Fri, 30 May 2014 17:32:06 +0000
Subject: Rewritten rpki.log.init() still confuses PyLint.

svn path=/trunk/; revision=5852
---
 rpki/log.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'rpki/log.py')

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])
 
-- 
cgit v1.2.3