summaryrefslogtreecommitdiff
path: root/lint.py
diff options
context:
space:
mode:
authorClaudiu Popa <pcmanticore@gmail.com>2014-08-25 00:59:08 +0300
committerClaudiu Popa <pcmanticore@gmail.com>2014-08-25 00:59:08 +0300
commit50cb882d9b81dbca61a00e019bfda1c04a5bcc4f (patch)
tree22287a74830b8361a08d500045dbbd9985c82290 /lint.py
parenta063dbca4ca5822e068f7876c7f81b4fb12b4224 (diff)
downloadpylint-git-50cb882d9b81dbca61a00e019bfda1c04a5bcc4f.tar.gz
Generate html output for missing files. Closes issue #320.
Diffstat (limited to 'lint.py')
-rw-r--r--lint.py5
1 files changed, 5 insertions, 0 deletions
diff --git a/lint.py b/lint.py
index e20e5dfc8..b258c2909 100644
--- a/lint.py
+++ b/lint.py
@@ -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 ########################################################