$r->maxtotal = $pgj->maxgrades->total;
if (isset($r->noextra)) {
$r->noextra->maxtotal = $pgj->maxgrades->total;
}
}
$Conf->save_setting("gradejson_pset{$Pset->id}", $Now, json_encode($r));
}
$j = json_decode($Conf->setting_data("gradejson_pset{$Pset->id}"));
$j->ok = true;
if (!$Pset->separate_extension_grades || !$User->extension) {
unset($j->extension);
}
if ($User == $Me && $Pset->grade_cdf_cutoff) {
Series::truncate_summary_below($j, $Pset->grade_cdf_cutoff);
if (get($j, "extension")) {
Series::truncate_summary_below($j->extension, $Pset->grade_cdf_cutoff);
}
}
$Conf->ajaxExit($j);
}
// load user repo and current commit
$Info = ContactView::user_pset_info($User, $Pset);
if (($Commit = req("newcommit")) == null) {
$Commit = req("commit");
}
if (!$Info->set_commit($Commit) && $Commit && $Info->repo) {
$Conf->errorMsg("Commit " . htmlspecialchars($Commit) . " isn’t connected to this repository.");
redirectSelf(array("newcommit" => null, "commit" => null));
}
$Commit = $Info->commit_hash();
// get JSON grade data
