core: contest_export_ghost: add star to team name if team was unranked

This commit is contained in:
undefined committed 2023-12-18 10:06:12 +08:00
1 parent 6d871c289e
commit 2ae4af762b
1 file changed
+4 -1
+4 -1
View File
@@ -375,7 +375,10 @@ export class ContestScoreboardHandler extends ContestDetailBaseHandler {
`@submissions ${submissions.length}`, `@submissions ${submissions.length}`,
].concat( ].concat(
tdoc.pids.map((i, idx) => `@p ${pid(idx)},${escape(pdict[i]?.title || 'Unknown Problem')},20,0`), tdoc.pids.map((i, idx) => `@p ${pid(idx)},${escape(pdict[i]?.title || 'Unknown Problem')},20,0`),
teams.map((i, idx) => `@t ${idx + 1},0,1,${escape(udict[i.uid].school || unknownSchool)}-${escape(udict[i.uid].uname)}`), teams.map((i, idx) => {
const teamName = `${i.rank ? '*' : ''}${escape(udict[i.uid].school || unknownSchool)}-${escape(udict[i.uid].uname)}`;
return `@t ${idx + 1},0,1,${teamName}`;
}),
submissions, submissions,
); );
this.binary(res.join('\n'), `${this.tdoc.title}.ghost`); this.binary(res.join('\n'), `${this.tdoc.title}.ghost`);