r8100 - /man-cgi/man.cgi
Author: jfs
Date: Tue Jan 11 22:17:03 2011
New Revision: 8100
URL: http://svn.debian.org/wsvn/?sc=1&rev=8100
Log:
Use generic description for the timestamp error and adjust the mirror path to the one use at manpages.debian.net
Modified:
man-cgi/man.cgi
Modified: man-cgi/man.cgi
URL: http://svn.debian.org/wsvn/man-cgi/man.cgi?rev=8100&op=diff
==============================================================================
--- man-cgi/man.cgi (original)
+++ man-cgi/man.cgi Tue Jan 11 22:17:03 2011
@@ -117,7 +117,7 @@
'n', 'n - New Commands',
);
-$manLocalDir = '/home/jfs/manpages/extractor/manpages-dists';
+$manLocalDir = '/srv/manpages.debian.org/extractor/manpages-dists';
#$manPathDefault = 'Debian Sid';
$manPathDefault = 'Debian 5.0 lenny';
@@ -980,8 +980,6 @@
my $file = $manLocalDir."/timestamp";
return 1 if ! -e $file;
my $mtime = ctime(stat($file)->mtime);
-# my $current_time = time();
-# $diff = $current_time - $mtime;
print "<p><small>Contents last updated: $mtime</small></p>";
$ret = 1 if -M $file > 60;
return $ret;
@@ -991,13 +989,11 @@
sub out_of_date {
print <<ETX;
-<p><STRONG><font color="#FF0000">NOTE:</font></STRONG> (2008-05-01) The content
- available for this service
-are currently out of date due to some <a
-href="http://lists.debian.org/debian-doc/2009/01/msg00068.html";>issues</a> with
-its hosting site. As a consequence newer Debian releases might not be listed yet
-and manpages of previous releases are not fully up to date. We are working on
-restoring the service. Sorry for the inconvenience.
+<p><STRONG><font color="#FF0000">NOTE:</font></STRONG> The content
+use by this service is currently out of date. As a consequence newer Debian
+releases might not be listed yet and manpages of previous releases are not
+fully up to date. We are working on restoring the service. Sorry for the
+inconvenience.
</p>
ETX
Reply to: