unset($viewcvs);
$cvs_id_split=split(" ",$cvs_id);
if (count($cvs_id_split)==8) {
+ $cvs_id_split[2]=""
+ ."<a href=\"".ereg_replace("/viewcvs/","\\0~checkout~/",$viewcvs)."?rev=".$cvs_id_split[2]."\">"
+ .$cvs_id_split[2]."</a>";
$cvs_id_split[1]="<a href=\"$viewcvs\">".$cvs_id_split[1]."</a>";
$cvs_id_split[5]="<a href=\"mailto:".$cvs_id_split[5]."@$cvs_mailhost\">".$cvs_id_split[5]."</a>";
}