////////////////////////////////////////////////////////////////////////////////
include_once "scm.php";
+date_default_timezone_set('America/Los_Angeles');
+
$base = $_SERVER['DOCUMENT_ROOT'];
function menu_css () {
print "</div>";
} // display_contents_as_snippet
-function display_code ($file,
- $machine = "clearscm.com",
- $port = ":8080",
- $path = "/viewvc/clearscm.com/") {
+function display_code ($file) {
display_contents_as_code (getSCMFile ($file));
} # display_code