show page generation time

diff --git a/bsta_lib.1.pm b/bsta_lib.1.pm
index 7fe9a8e5e0847fcd16f5fd4b70759772239734d8..92566d505818df9709d6caa16fcc6030b93398d3 100644 (file)
--- a/bsta_lib.1.pm
+++ b/bsta_lib.1.pm
@@ -706,7 +706,23 @@ sub print_html_body_end {
                print $fh '   <a href="'.html_entity_encode_dec(SOURCE_URL(),1).'" class="cz">source code</a>'."\n";
                print $fh '  </p>'."\n";
        }
-       print $fh '  <a href="/" class="cz">'.html_entity_encode_dec(WEBSITE(),1).'</a>'."\n";
+       print $fh '  <p>'."\n";
+       print $fh '   <a href="/" class="cz">'.html_entity_encode_dec(WEBSITE(),1).'</a>'."\n";
+       print $fh '  </p>'."\n";
+       unless ($hide_credits) {
+               my $gen_time = time();
+               my @time_tab = gmtime($gen_time);
+               print $fh '  <p>'."\n";
+               print $fh sprintf (
+                       '   Page generated %04d.%02d.%02d %02d:%02d UTC.'."\n",
+                       $time_tab[5]+1900,
+                       $time_tab[4]+1,
+                       $time_tab[3],
+                       $time_tab[2],
+                       $time_tab[1]
+               );
+               print $fh '  </p>'."\n";
+       }
        print $fh ' </body>'."\n";
 }