style(judge_client/1/uoj_judger): change "Judgment" spelling

Okay, in truth it is not really a bug.
We just change its name in php because function lacks.
For judger it will work correctly and will not crash during running the program.
But, to avoid inconsistence we use "Judgement" for all purpose.

"Judgment" or "Judgement"? They are both right.
You ask me which is better? I don't know.
I make the choice only because the word with more "e" is used almost everywhere.
Used more frequently and I don't want to edit a lot of files.
This commit is contained in:
Masco Skray 2018-12-15 13:12:26 +08:00
parent f2056f17d1
commit fd2f41eb4e

View File

@ -236,7 +236,7 @@ struct RunCheckerResult {
res.ust = -1; res.ust = -1;
res.usm = -1; res.usm = -1;
res.scr = 0; res.scr = 0;
res.info = "Checker Judgment Failed"; res.info = "Checker Judgement Failed";
return res; return res;
} }
}; };
@ -252,7 +252,7 @@ struct RunValidatorResult {
res.ust = -1; res.ust = -1;
res.usm = -1; res.usm = -1;
res.succeeded = 0; res.succeeded = 0;
res.info = "Validator Judgment Failed"; res.info = "Validator Judgement Failed";
return res; return res;
} }
}; };
@ -420,7 +420,7 @@ inline string info_str(int id) {
case RS_OLE: return "Output Limit Exceeded"; case RS_OLE: return "Output Limit Exceeded";
case RS_RE : return "Runtime Error"; case RS_RE : return "Runtime Error";
case RS_DGS: return "Dangerous Syscalls"; case RS_DGS: return "Dangerous Syscalls";
case RS_JGF: return "Judgment Failed"; case RS_JGF: return "Judgement Failed";
default : return "Unknown Result"; default : return "Unknown Result";
} }
} }
@ -498,7 +498,7 @@ void end_judge_ok() {
} }
void end_judge_judgement_failed(const string &info) { void end_judge_judgement_failed(const string &info) {
FILE *fres = fopen((result_path + "/result.txt").c_str(), "w"); FILE *fres = fopen((result_path + "/result.txt").c_str(), "w");
fprintf(fres, "error Judgment Failed\n"); fprintf(fres, "error Judgement Failed\n");
fprintf(fres, "details\n"); fprintf(fres, "details\n");
fprintf(fres, "<error>%s</error>\n", htmlspecialchars(info).c_str()); fprintf(fres, "<error>%s</error>\n", htmlspecialchars(info).c_str());
fclose(fres); fclose(fres);
@ -894,7 +894,7 @@ RunSimpleInteractionResult run_simple_interation(
} }
if (ires.type == RS_JGF) { if (ires.type == RS_JGF) {
ires.info = "Interactor Judgment Failed"; ires.info = "Interactor Judgement Failed";
} }
if (ires.type == RS_TLE) { if (ires.type == RS_TLE) {
ires.type = RS_AC; ires.type = RS_AC;