diff options
| author | Jakub Narebski <jnareb@gmail.com> | 2009-09-01 13:39:16 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-09-01 08:34:24 -0700 |
| commit | aa7dd05e6a622ec17d034980c4440b0aed583c6e (patch) | |
| tree | dfc7d51c797fda9e55800dc65a3d4e9bae5af7e2 /gitweb/gitweb.css | |
| parent | aef37684ea713c96dc3e4913cf33962df1efb92b (diff) | |
| download | git-aa7dd05e6a622ec17d034980c4440b0aed583c6e.tar.gz | |
gitweb: Add optional "time to generate page" info in footer
Add "This page took XXX seconds and Y git commands to generate"
to page footer, if global feature 'timed' is enabled (disabled
by default). Requires Time::HiRes installed for high precision
'wallclock' time.
Note that Time::HiRes is being required unconditionally; this is
because setting $t0 variable needs to be done fairly early to have
running time of the whole script. If Time::HiRes module were required
only if 'timed' feature is enabled, the earliest place where starting
time ($t0) could be calculated would be after reading gitweb config,
making "time to generate page" info inaccurate.
This code is based on example code by Petr 'Pasky' Baudis.
Signed-off-by: Jakub Narebski <jnareb@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitweb/gitweb.css')
| -rw-r--r-- | gitweb/gitweb.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gitweb/gitweb.css b/gitweb/gitweb.css index 8f68fe3091..9893443edc 100644 --- a/gitweb/gitweb.css +++ b/gitweb/gitweb.css @@ -75,6 +75,13 @@ div.page_footer_text { font-style: italic; } +div#generating_info { + margin: 4px; + font-size: smaller; + text-align: center; + color: #505050; +} + div.page_body { padding: 8px; font-family: monospace; |