Weishen/Hydro
2
0 Fork 0
mirror of https://gitcode.com/gh_mirrors/hy/Hydro.git synced 2026-10-20 01:38:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

vjudge: fix #848

Browse Source
This commit is contained in:
undefined committed 2024-08-01 23:28:42 +08:00
1 parent 1954208d36
commit 62613937cf
1 file changed
+3 -2
Download Patch File Download Diff File Expand all files Collapse all files
packages/vjudge/src/index.ts
+3 -2
View File
@@ -84,13 +84,14 @@ class AccountService {
} }
if (id.search('\\\\#') !== -1) continue; if (id.search('\\\\#') !== -1) continue;
const [pid, metastr = '{}'] = id.split('#'); const [pid, metastr = '{}'] = id.split('#');
const normalizedPid = pid.replace(/[_-]/g, '');
const meta = JSON.parse(metastr); const meta = JSON.parse(metastr);
if (await ProblemModel.get(domainId, pid) || syncing[`${domainId}/${pid}`]) continue; if (await ProblemModel.get(domainId, normalizedPid) || syncing[`${domainId}/${pid}`]) continue;
syncing[`${domainId}/${pid}`] = true; syncing[`${domainId}/${pid}`] = true;
try { try {
const res = await this.api.getProblem(pid, meta); const res = await this.api.getProblem(pid, meta);
if (!res) continue; if (!res) continue;
const docId = await ProblemModel.add(domainId, pid, res.title, res.content, 1, res.tag); const docId = await ProblemModel.add(domainId, normalizedPid, res.title, res.content, 1, res.tag);
if (res.difficulty) await ProblemModel.edit(domainId, docId, { difficulty: res.difficulty }); if (res.difficulty) await ProblemModel.edit(domainId, docId, { difficulty: res.difficulty });
for (const key in res.files) { for (const key in res.files) {
await ProblemModel.addAdditionalFile(domainId, docId, key, res.files[key]); await ProblemModel.addAdditionalFile(domainId, docId, key, res.files[key]);