$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