diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2014-08-25 00:59:08 +0300 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2014-08-25 00:59:08 +0300 |
| commit | 50cb882d9b81dbca61a00e019bfda1c04a5bcc4f (patch) | |
| tree | 22287a74830b8361a08d500045dbbd9985c82290 /lint.py | |
| parent | a063dbca4ca5822e068f7876c7f81b4fb12b4224 (diff) | |
| download | pylint-git-50cb882d9b81dbca61a00e019bfda1c04a5bcc4f.tar.gz | |
Generate html output for missing files. Closes issue #320.
Diffstat (limited to 'lint.py')
| -rw-r--r-- | lint.py | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -717,6 +717,11 @@ class PyLinter(OptionsManagerMixIn, MessagesHandlerMixIn, ReportsHandlerMixIn, if self.config.persistent: config.save_results(self.stats, self.file_state.base_name) else: + if self.config.output_format == 'html': + # No output will be emitted for the html + # reporter if the file doesn't exist, so emit + # the results here. + self.reporter.display_results(Section()) self.reporter.on_close(self.stats, {}) # specific reports ######################################################## |
