From ee8e6ebe8df5eba3efd610692064dfeb4153f3cf Mon Sep 17 00:00:00 2001 From: undefined Date: Mon, 14 Feb 2022 06:22:05 +0800 Subject: [PATCH] judge: fix support for node12 --- packages/hydrojudge/package.json | 2 +- packages/hydrojudge/src/hosts/hydro.ts | 2 +- packages/hydrojudge/src/service.ts | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/hydrojudge/package.json b/packages/hydrojudge/package.json index 381276b30..39fc595d0 100644 --- a/packages/hydrojudge/package.json +++ b/packages/hydrojudge/package.json @@ -1,7 +1,7 @@ { "name": "@hydrooj/hydrojudge", "bin": "bin/hydrojudge.js", - "version": "2.13.6", + "version": "2.13.7", "main": "package.json", "author": "undefined ", "repository": "https://github.com/hydro-dev/Hydro.git", diff --git a/packages/hydrojudge/src/hosts/hydro.ts b/packages/hydrojudge/src/hosts/hydro.ts index 98e28f612..bdfaa4216 100644 --- a/packages/hydrojudge/src/hosts/hydro.ts +++ b/packages/hydrojudge/src/hosts/hydro.ts @@ -206,7 +206,7 @@ export default class Hydro { if (etags[file.name] !== file.etag + file.lastModified) filenames.push(file.name); } for (const name in etags) { - if (!allFiles.has(name) && fs.existsSync(path.join(filePath, name))) await fs.rm(path.join(filePath, name)); + if (!allFiles.has(name) && fs.existsSync(path.join(filePath, name))) await fs.remove(path.join(filePath, name)); } if (filenames.length) { log.info(`Getting problem data: ${this.config.host}/${source}`); diff --git a/packages/hydrojudge/src/service.ts b/packages/hydrojudge/src/service.ts index 4934be45a..87c34e6b1 100644 --- a/packages/hydrojudge/src/service.ts +++ b/packages/hydrojudge/src/service.ts @@ -92,7 +92,7 @@ async function postInit() { } } for (const name in etags) { - if (!filenames.has(name)) await fs.rm(path.join(filePath, name)); + if (!filenames.has(name) && fs.existsSync(path.join(filePath, name))) await fs.remove(path.join(filePath, name)); } fs.writeFileSync(path.join(filePath, 'etags'), JSON.stringify(version)); fs.writeFileSync(path.join(filePath, 'lastUsage'), new Date().getTime().toString());