# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1425274704 28800
# Node ID 980bbbd0705e2401198ae51d559509060765d5ab
# Parent  34194ca0ab8521ab495789da41fdc583e27a728b
serve: Correctly show timing info even when not in debug mode.

diff -r 34194ca0ab85 -r 980bbbd0705e piecrust/serving.py
--- a/piecrust/serving.py	Sun Mar 01 18:01:07 2015 -0800
+++ b/piecrust/serving.py	Sun Mar 01 21:38:24 2015 -0800
@@ -300,7 +300,7 @@
         entry.used_source_names = set(render_ctx.used_source_names)
 
         # Profiling.
-        if app.debug:
+        if app.config.get('site/show_debug_info'):
             now_time = time.clock()
             timing_info = ('%8.1f ms' %
                     ((now_time - app.env.start_time) * 1000.0))