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

vjudge: prevent race

Browse Source
This commit is contained in:
undefined committed 2021-08-28 05:42:55 +08:00
1 parent 3027421101
commit dfe60b5890
2 files changed
+2 -2
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

packages/vjudge/package.json
+1 -1
View File
@@ -1,6 +1,6 @@
{ {
"name": "@hydrooj/vjudge", "name": "@hydrooj/vjudge",
"version": "1.2.2", "version": "1.2.3",
"description": "Submit problems to remote oj", "description": "Submit problems to remote oj",
"main": "package.json", "main": "package.json",
"repository": "https://github.com/hydro-dev/Hydro.git", "repository": "https://github.com/hydro-dev/Hydro.git",
packages/vjudge/src/model.ts
+1 -1
View File
@@ -42,7 +42,7 @@ class Service {
while (pids.length) { while (pids.length) {
logger.info(`${domainId}: Syncing page ${page}`); logger.info(`${domainId}: Syncing page ${page}`);
for (const pid of pids) { for (const pid of pids) {
if (syncing[`${domainId}/${pid}`] || await ProblemModel.get(domainId, pid)) continue; if (await ProblemModel.get(domainId, pid) || syncing[`${domainId}/${pid}`]) continue;
syncing[`${domainId}/${pid}`] = true; syncing[`${domainId}/${pid}`] = true;
try { try {
const res = await this.api.getProblem(pid); const res = await this.api.getProblem(pid);