diff options
author | Daniel Balparda <balparda@google.com> | 2013-11-21 09:50:24 -0800 |
---|---|---|
committer | Daniel Balparda <balparda@google.com> | 2013-11-21 09:50:24 -0800 |
commit | a88e5cdcb0f14fa48957fbc02f232d1d79c6444a (patch) | |
tree | ce679cd4d15567d13258d0b90e9d926adb7f52a4 | |
parent | b8442a98cfd757a96ffbd7e69ca5956ec4ccdd7c (diff) | |
download | pylint-a88e5cdcb0f14fa48957fbc02f232d1d79c6444a.tar.gz |
Always call the reporter's on_close method, even if no file could be analyzed. Some reporters still need to flush their state.
-rw-r--r-- | lint.py | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -717,6 +717,8 @@ This is used by the global evaluation report (RP0004).'}), # save results if persistent run if self.config.persistent: config.save_results(self.stats, self.base_name) + else: + self.reporter.on_close(self.stats, {}) # specific reports ######################################################## |