mirror of
https://gitcode.com/gh_mirrors/hy/Hydro.git
synced 2026-10-19 17:38:19 +08:00
core: update tdoc type
This commit is contained in:
7 files changed
+37
-35
No files matched your search
@@ -112,7 +112,7 @@ export class ContestListHandler extends Handler {
|
||||
}
|
||||
|
||||
export class ContestDetailBaseHandler extends Handler {
|
||||
tdoc?: Tdoc<30>;
|
||||
tdoc?: Tdoc;
|
||||
tsdoc?: any;
|
||||
|
||||
@param('tid', Types.ObjectId, true)
|
||||
@@ -172,7 +172,7 @@ export class ContestDetailBaseHandler extends Handler {
|
||||
}
|
||||
|
||||
export class ContestDetailHandler extends Handler {
|
||||
tdoc?: Tdoc<30>;
|
||||
tdoc?: Tdoc;
|
||||
tsdoc?: any;
|
||||
|
||||
@param('tid', Types.ObjectId)
|
||||
|
||||
@@ -25,7 +25,7 @@ import { ContestDetailBaseHandler } from './contest';
|
||||
import { postJudge } from './judge';
|
||||
|
||||
class RecordListHandler extends ContestDetailBaseHandler {
|
||||
tdoc?: Tdoc<30>;
|
||||
tdoc?: Tdoc;
|
||||
|
||||
@param('page', Types.PositiveInt, true)
|
||||
@param('pid', Types.ProblemId, true)
|
||||
@@ -122,7 +122,7 @@ class RecordListHandler extends ContestDetailBaseHandler {
|
||||
|
||||
class RecordDetailHandler extends ContestDetailBaseHandler {
|
||||
rdoc: RecordDoc;
|
||||
tdoc?: Tdoc<30>;
|
||||
tdoc?: Tdoc;
|
||||
|
||||
@param('rid', Types.ObjectId)
|
||||
async prepare(domainId: string, rid: ObjectId) {
|
||||
@@ -242,7 +242,7 @@ class RecordMainConnectionHandler extends ConnectionHandler {
|
||||
pid: number;
|
||||
status: number;
|
||||
pretest = false;
|
||||
tdoc: Tdoc<30>;
|
||||
tdoc: Tdoc;
|
||||
applyProjection = false;
|
||||
|
||||
@param('tid', Types.ObjectId, true)
|
||||
@@ -334,7 +334,7 @@ class RecordMainConnectionHandler extends ConnectionHandler {
|
||||
|
||||
class RecordDetailConnectionHandler extends ConnectionHandler {
|
||||
pdoc: ProblemDoc;
|
||||
tdoc?: Tdoc<30>;
|
||||
tdoc?: Tdoc;
|
||||
rid: string = '';
|
||||
disconnectTimeout: NodeJS.Timeout;
|
||||
throttleSend: any;
|
||||
|
||||
Reference in new issue
Block a user