}
$pagecase{lc $page}=$page;
if ($config{getctime} && -e "$config{srcdir}/$file") {
- $pagectime{$page}=rcs_getctime("$config{srcdir}/$file");
+ eval {
+ my $time=rcs_getctime("$config{srcdir}/$file");
+ $pagectime{$page}=$time;
+ };
+ if ($@) {
+ print STDERR $@;
+ }
}
- elsif (! exists $pagectime{$page}) {
+ if (! exists $pagectime{$page}) {
$pagectime{$page}=mtime(srcfile($file));
}
}