summaryrefslogtreecommitdiff
path: root/lint.py
diff options
context:
space:
mode:
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 ########################################################