} else {
$hashb = $hashb_mine = $Info->set_commit($_GET["commit1"]);
}
if (!$hasha || !$hashb) {
if (!$hasha) {
$Conf->errorMsg("Commit " . htmlspecialchars($_GET["commit"]) . " is not connected to your repository.");
}
if (!$hashb) {
$Conf->errorMsg("Commit " . htmlspecialchars($_GET["commit1"]) . " is not connected to your repository.");
}
$Me->escape();
}
$diff_options["hasha"] = $hasha;
$Conf->header(htmlspecialchars($Pset->title), "home");
echo "<div id='homeinfo'>";
ContactView::echo_heading($User);
// Per-pset
function diff_line_code($t)
{
global $TABWIDTH;
while (($p = strpos($t, "\t")) !== false) {
$t = substr($t, 0, $p) . str_repeat(" ", $TABWIDTH - $p % $TABWIDTH) . substr($t, $p + 1);
}
return str_replace(" ", " ", htmlspecialchars($t));
}
$commita = $hasha_mine ? $Info->recent_commits($hasha) : $hrecent[$hasha];
$commitb = $hashb_mine ? $Info->recent_commits($hashb) : $hrecent[$hashb];
if ($commita->hash === $Info->grading_hash()) {
$commita->subject .= " ✱";
}
// space, nbsp
