rename goal and milestone updates to achieved

This commit is contained in:
zkldi
2021-05-28 14:36:59 +01:00
parent 69ae3219fc
commit c2c22504db
2 changed files with 6 additions and 6 deletions
+3 -3
View File
@@ -1083,7 +1083,7 @@ export interface BMSCourseDocument {
playtype: "7K" | "14K";
value: integer;
}
export declare type RedisIPCChannels = "class-update" | "goal-update" | "milestone-update";
export declare type RedisIPCChannels = "class-update" | "goal-achieved" | "milestone-achieved";
export declare type RedisIPCData = {
"class-update": {
userID: integer;
@@ -1091,13 +1091,13 @@ export declare type RedisIPCData = {
old: integer | null;
new: integer | null;
};
"goal-update": {
"goal-achieved": {
userID: integer;
goalID: string;
old: GoalImportStat;
new: GoalImportStat;
};
"milestone-update": {
"milestone-achieved": {
userID: integer;
milestoneID: string;
old: MilestoneImportStat;
+3 -3
View File
@@ -1341,7 +1341,7 @@ export interface BMSCourseDocument {
value: integer;
}
export type RedisIPCChannels = "class-update" | "goal-update" | "milestone-update";
export type RedisIPCChannels = "class-update" | "goal-achieved" | "milestone-achieved";
export type RedisIPCData = {
"class-update": {
@@ -1350,13 +1350,13 @@ export type RedisIPCData = {
old: integer | null;
new: integer | null;
};
"goal-update": {
"goal-achieved": {
userID: integer;
goalID: string;
old: GoalImportStat;
new: GoalImportStat;
};
"milestone-update": {
"milestone-achieved": {
userID: integer;
milestoneID: string;
old: MilestoneImportStat;