fix call to getctime
parent
282893be81
commit
2e95062df8
|
@ -347,8 +347,12 @@ sub refresh () { #{{{
|
||||||
push @add, $file;
|
push @add, $file;
|
||||||
$links{$page}=[];
|
$links{$page}=[];
|
||||||
$pagesources{$page}=$file;
|
$pagesources{$page}=$file;
|
||||||
$pagectime{$page}=mtime(srcfile($file))
|
if ($config{getctime} && -e "$config{srcdir}/$file") {
|
||||||
unless exists $pagectime{$page};
|
$pagectime{$page}=rcs_getctime("$config{srcdir}/$file");
|
||||||
|
}
|
||||||
|
elsif (! exists $pagectime{$page}) {
|
||||||
|
$pagectime{$page}=mtime(srcfile($file));
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
my @del;
|
my @del;
|
||||||
|
|
Loading…
Reference in New Issue