core: update types

This commit is contained in:
undefined committed 2022-10-06 03:04:13 +08:00
1 parent a2bbb7a0e3
commit 14e0bebe79
3 files changed
+5 -4

No files matched your search

+1 -1
View File
@@ -508,7 +508,7 @@ export class ProblemSubmitHandler extends ProblemDetailHandler {
throw new BadRequestError('Language not allowed.');
}
if (pretest) {
if (setting.langs[lang]?.pretest) lang = setting.langs[lang].pretest;
if (setting.langs[lang]?.pretest) lang = setting.langs[lang].pretest as string;
if (setting.langs[lang]?.pretest === false) throw new BadRequestError('Cannot run pretest for this language.');
if (!['default', 'fileio', 'remote_judge'].includes(this.response.body.pdoc.config?.type)) {
throw new BadRequestError('unable to run pretest');