return(false);
}
-function footer()
+function footer($delimit=true)
{
// deadlock prevention:
global $footer_passed;
$footer_passed=true;
global $cvs_id_html,$viewcvs,$viewcvs,$HTTP_SERVER_VARS;
+ if ($delimit)
+ print("<p> </p>\n");
?>
-<p> </p>
<hr />
<table border="0" width="100%">
<tr><td align="left"><span class="cvs-id"><?php print($cvs_id_html); ?></span></td><td align="right"><a