<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<link href="../za-base/za.css" rel="stylesheet" type="text/css" />
<?php
require "../za-base/za-headers.php";
require "post-headerbar.php";
?>
<title><?php
echo $hostname;
?>
Dependency Checker Log</title>
</head>
<body>
<?php
echo headers("post-commit checker", gen_postthirdbar("log"));
?>
<div class="content">
<h1>Log</h1>
<div class="content">
<pre>
<?php
echo file_exists(${logfile}) ? htmlspecialchars(trim(file_get_contents(${logfile}))) : "";
?>
</pre>
</div>
<?php
echo footer();
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<link href="../za-base/za.css" rel="stylesheet" type="text/css" />
<?php
require "../za-base/za-headers.php";
require "post-headerbar.php";
?>
<title><?php
echo $hostname;
?>
Dependency Checker Status</title>
</head>
<body>
<?php
echo headers("post-commit checker", gen_postthirdbar("status"));
?>
<div class="content">
<h1>Status</h1>
<table border="0">
<tr><td>
Checking from:
<?php
echo htmlspecialchars(trim(`{$conftool} -k svnloc`));
?>
<br><br>
<table border="1">
<tr><td>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<link href="../za-base/za.css" rel="stylesheet" type="text/css" />
<?php
require "../za-base/za-headers.php";
require "post-headerbar.php";
?>
<title><?php
echo $hostname;
?>
Dependency Checker Results</title>
</head>
<body>
<?php
echo headers("post-commit checker", gen_postthirdbar("results"));
?>
<?php
if (count($_POST) + count($_GET) > 0) {
echo "<div class=\"content\"><table>\n";
foreach ($_GET as $key => $value) {
echo "<tr><td>getvar " . $key . " as " . $value . "<td></tr>\n";
}
foreach ($_POST as $key => $value) {
#echo "<tr><td>key</td><td>" . $key . "</td><td>value</td><td>" . $value . "</td></tr>";
$x = explode("-", $value);
$top = $x[0];
unset($x[0]);
$bottom = implode("-", $x);
if ($top == "bump") {
