scoreboard user filter

This commit is contained in:
panda committed 2022-12-20 05:44:18 +00:00
1 parent cd8efa2025
commit 534fc4bb3b
3 files changed
+60 -5

No files matched your search

+2 -2
View File
@@ -127,7 +127,7 @@ const acm = buildContestRule({
async scoreboardRow(isExport, _, tdoc, pdict, udoc, rank, tsdoc, meta) {
const tsddict = tsdoc.detail || {};
const row: ScoreboardRow = [
{ type: 'rank', value: rank ? rank.toString() : '*' },
{ type: 'rank', value: rank ? rank.toString() : '*', raw: rank },
{ type: 'user', value: udoc.uname, raw: tsdoc.uid },
];
if (isExport) {
@@ -263,7 +263,7 @@ const oi = buildContestRule({
async scoreboardRow(isExport, _, tdoc, pdict, udoc, rank, tsdoc, meta) {
const tsddict = tsdoc.detail || {};
const row: ScoreboardNode[] = [
{ type: 'rank', value: rank ? rank.toString() : '*' },
{ type: 'rank', value: rank ? rank.toString() : '*', raw: rank },
{ type: 'user', value: udoc.uname, raw: tsdoc.uid },
];
if (isExport) {