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 /utils.py | |
| parent | 4464df0723ce8eac57ca8ac7be42ec832445dec9 (diff) | |
| download | pylint-git-d7e8af6708e3936dbb7a9ac16b55a11f5ccf2fed.tar.gz | |
Add the current reporter only if it was removed.
Diffstat (limited to 'utils.py')
| -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): |
