judge: errmsg: show langId

This commit is contained in:
undefined committed 2026-05-15 15:03:10 +08:00
1 parent 6b4a67e58d
commit 8a5a2143b0
1 file changed
+1 -1
+1 -1
View File
@@ -258,7 +258,7 @@ export class JudgeTask {
langId = `${s.pop()}.${langId}`; langId = `${s.pop()}.${langId}`;
} }
} else lang = this.session.getLang(langId, false); } else lang = this.session.getLang(langId, false);
if (!lang) throw new FormatError(`Unknown ${type} language.`); if (!lang) throw new FormatError(`Unknown ${type} language: ${langId}.`);
span.setAttribute('lang', langId); span.setAttribute('lang', langId);
// TODO cache compiled binary // TODO cache compiled binary
const result = await compile(lang, { src: file }, copyIn); const result = await compile(lang, { src: file }, copyIn);