} 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