diff options
| author | Rob Austein <sra@hactrn.net> | 2015-10-16 23:07:52 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2015-10-16 23:07:52 +0000 |
| commit | 6d5fe21be4393ef644965669b4de2c976bc0096f (patch) | |
| tree | 076b45bf49c706c62e8167dd4da0041725033b1c /rpki/log.py | |
| parent | 8734d57231a81d28ed60e417b9a6361c412c0f8b (diff) | |
PyLint. As usual, a lot of noise and a handful of real, albeit minor, bugs.
svn path=/branches/tk705/; revision=6123
Diffstat (limited to 'rpki/log.py')
| -rw-r--r-- | rpki/log.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpki/log.py b/rpki/log.py index 43561463..7bad6dc2 100644 --- a/rpki/log.py +++ b/rpki/log.py @@ -32,7 +32,7 @@ import traceback as tb try: have_setproctitle = False if os.getenv("DISABLE_SETPROCTITLE") is None: - import setproctitle + import setproctitle # pylint: disable=F0401 have_setproctitle = True except ImportError: pass |