judge: remove unused tmpdir

This commit is contained in:
undefined committed 2023-01-11 00:26:08 +08:00
1 parent 18d59edc82
commit b292c6cfa3
9 files changed
+8 -42

No files matched your search

+1 -1
View File
@@ -35,7 +35,7 @@ let exit = false;
const terminate = async () => {
log.info('正在保存数据');
try {
await Promise.all(global.onDestroy.map((f: Function) => f()));
await Promise.all(global.hosts.map((f) => f.dispose?.()));
process.exit(1);
} catch (e) {
if (exit) process.exit(1);