core: add RecordDetailHandler.postCancel

judge: allow judge without config
This commit is contained in:
undefined committed 2020-10-29 22:07:54 +08:00
1 parent e3266ca9e6
commit ee62870e70
8 files changed
+31 -13

No files matched your search

+23 -2
View File
@@ -1,6 +1,6 @@
import { ObjectID } from 'mongodb';
import { PermissionError, RecordNotFoundError } from '../error';
import { PERM, CONSTANT } from '../model/builtin';
import { PERM, CONSTANT, STATUS } from '../model/builtin';
import * as problem from '../model/problem';
import * as file from '../model/file';
import * as record from '../model/record';
@@ -97,6 +97,27 @@ class RecordDetailHandler extends RecordHandler {
}
this.back();
}
@param('rid', Types.ObjectID)
async postCancel(domainId: string, rid: ObjectID) {
const rdoc = await record.get(domainId, rid);
if (rdoc) {
const $set = {
status: STATUS.STATUS_CANCELED,
score: 0,
time: 0,
memory: 0,
testCases: [{
status: 9, score: 0, time: 0, memory: 0, message: 'score canceled',
}],
};
await Promise.all([
record.update(domainId, rid, $set),
bus.emit('record/change', rdoc, $set),
]);
}
this.back();
}
}
class RecordHackHandler extends Handler {
@@ -130,11 +151,11 @@ class RecordHackHandler extends Handler {
/**
* @deprecated
* use RecordDetailHandler.postRejudge instead.
*/
class RecordRejudgeHandler extends Handler {
@param('rid', Types.ObjectID)
async post(domainId: string, rid: ObjectID) {
this.checkPerm(PERM.PERM_REJUDGE);
const rdoc = await record.get(domainId, rid);
if (rdoc) {
await record.reset(domainId, rid, true);
+1 -4
View File
@@ -569,12 +569,9 @@ declare global {
error: typeof import('./error'),
Logger: typeof import('./logger'),
locales: Dict<Dict<string>>,
isFirstWorker: boolean,
},
addons: string[],
}
}
}
declare module 'cluster' {
let isFirstWorker: boolean;
}
+2 -2
View File
@@ -228,8 +228,8 @@ export async function load() {
await entry({ entry: argv.entry as string });
logger.success(`Worker ${process.pid} Started as ${argv.entry}`);
} else {
if (argv.firstWorker) cluster.isFirstWorker = true;
else cluster.isFirstWorker = false;
if (argv.firstWorker) global.Hydro.isFirstWorker = true;
else global.Hydro.isFirstWorker = false;
logger.info(`Worker ${process.pid} Starting`);
await entry({ entry: 'worker' });
logger.success(`Worker ${process.pid} Started`);