diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2014-08-18 17:57:37 +0300 | 
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2014-08-18 17:57:37 +0300 | 
| commit | d7e8af6708e3936dbb7a9ac16b55a11f5ccf2fed (patch) | |
| tree | 284b6043bbbb0d906e490ba43cb0afd00319b010 | |
| parent | 4464df0723ce8eac57ca8ac7be42ec832445dec9 (diff) | |
| download | pylint-git-d7e8af6708e3936dbb7a9ac16b55a11f5ccf2fed.tar.gz | |
Add the current reporter only if it was removed.
| -rw-r--r-- | utils.py | 3 | 
1 files changed, 2 insertions, 1 deletions
| @@ -652,7 +652,8 @@ class ReportsHandlerMixIn(object):              reports.pop(reports.index(self))          except ValueError:              pass -        reports.append(self) +        else: +            reports.append(self)          return reports      def register_report(self, reportid, r_title, r_cb, checker): | 
