judge: allow .skip-prune

This commit is contained in:
undefined committed 2022-11-19 22:07:46 +08:00
1 parent 60820a3e5f
commit 7461f261dc
1 file changed
+1
+1
View File
@@ -27,6 +27,7 @@ export = function main() {
const domaindir = path.resolve(hostdir, domain);
if (!fs.statSync(domaindir).isDirectory()) continue;
let problems = fs.readdirSync(domaindir);
if (problems.includes('.skip-prune')) continue;
for (const problem of problems) {
const problemdir = path.resolve(domaindir, problem);
if (!fs.statSync(problemdir).isDirectory()) continue;