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

judge: fix

Browse Source
This commit is contained in:
undefined committed 2024-03-18 04:44:03 +08:00
1 parent 3a2983d3f7
commit 963ca95b86
2 files changed
+15 -13
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

packages/hydrojudge/package.json
+1 -1
View File
@@ -1,7 +1,7 @@
{ {
"name": "@hydrooj/hydrojudge", "name": "@hydrooj/hydrojudge",
"bin": "bin/hydrojudge.js", "bin": "bin/hydrojudge.js",
"version": "3.3.7", "version": "3.3.8",
"main": "./src/index.ts", "main": "./src/index.ts",
"author": "undefined <i@undefined.moe>", "author": "undefined <i@undefined.moe>",
"repository": "https://github.com/hydro-dev/Hydro.git", "repository": "https://github.com/hydro-dev/Hydro.git",
packages/hydrojudge/src/hosts/vj4.ts
+14 -12
View File
@@ -255,23 +255,25 @@ export default class VJ4 implements Session {
if (iniFile) { if (iniFile) {
const file = await fs.readFile(`${folder}/${iniFile}`, 'utf-8'); const file = await fs.readFile(`${folder}/${iniFile}`, 'utf-8');
await fs.writeFile(`${folder}/config.ini`, file.toLowerCase()); await fs.writeFile(`${folder}/config.ini`, file.toLowerCase());
for (const i of files) { const input = files.find((i) => i.toLowerCase() === 'input');
if (i.toLowerCase() === 'input') await fs.rename(`${folder}/${i}`, `${folder}/input`); const output = files.find((i) => i.toLowerCase() === 'output');
else if (i.toLowerCase() === 'output') await fs.rename(`${folder}/${i}`, `${folder}/output`); if (input) {
} for (const i of await fs.readdir(`${folder}/${input}`)) {
files = await fs.readdir(`${folder}/input`); if (fs.statSync(`${folder}/${input}/${i}`).size > 64 * 1024 * 1024) {
for (const i of files) { await fs.rename(`${folder}/${input}/${i}`, `${folder}/${i.toLowerCase()}`);
if (fs.statSync(`${folder}/input/${i}`).size > 64 * 1024 * 1024) {
await fs.rename(`${folder}/input/${i}`, `${folder}/${i.toLowerCase()}`);
} else { } else {
const buffer = await fs.readFile(`${folder}/input/${i}`); const buffer = await fs.readFile(`${folder}/${input}/${i}`);
const data = buffer.toString().replace(/\r/g, ''); const data = buffer.toString().replace(/\r/g, '');
await fs.unlink(`${folder}/input/${i}`); await fs.unlink(`${folder}/${input}/${i}`);
await fs.writeFile(`${folder}/${i.toLowerCase()}`, data); await fs.writeFile(`${folder}/${i.toLowerCase()}`, data);
} }
} }
files = await fs.readdir(`${folder}/output`); }
for (const i of files) await fs.rename(`${folder}/output/${i.toLowerCase()}`, `${folder}/${i}`); if (output) {
for (const i of await fs.readdir(`${folder}/${output}`)) {
await fs.rename(`${folder}/${output}/${i}`, `${folder}/${i.toLowerCase()}`);
}
}
} }
} }