daenamnu/discordeno
1
0
Fork 0
mirror of https://github.com/discordeno/discordeno.git synced 2026-09-17 08:47:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1025 from discordeno/prettier

Browse Source 
change: bump minor version
This commit is contained in:
ITOH
2021-06-07 17:08:01 +02:00
committed by GitHub
parent 4355351c69 b7ad981e37
commit 7c328a937e
2 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/util/constants.ts
+1 -1
View File
@@ -9,7 +9,7 @@ export const GATEWAY_VERSION = 9;
// TODO: update this version
/** https://github.com/discordeno/discordeno/releases */
export const DISCORDENO_VERSION = "11.0.0";
export const DISCORDENO_VERSION = "11.0.1";
/** https://discord.com/developers/docs/reference#user-agent */
export const USER_AGENT = `DiscordBot (https://github.com/discordeno/discordeno, v${DISCORDENO_VERSION})`;
src/util/dispatch_requirements.ts
+6 -2
View File
@@ -44,7 +44,9 @@ export async function dispatchRequirements(data: DiscordGatewayPayload, shardId:
if (!processing.has(id)) return;
return eventHandlers.debug?.(`[DISPATCH] Already processed guild was not successfully fetched: ${id} in ${data.t} event`);
return eventHandlers.debug?.(
`[DISPATCH] Already processed guild was not successfully fetched: ${id} in ${data.t} event`
);
}
processing.add(id);
@@ -74,7 +76,9 @@ export async function dispatchRequirements(data: DiscordGatewayPayload, shardId:
if (!botMember || !channels) {
processing.delete(id);
return eventHandlers.debug?.(`[DISPATCH] Guild ID ${id} Name: ${rawGuild.name} failed. Unable to get botMember or channels`);
return eventHandlers.debug?.(
`[DISPATCH] Guild ID ${id} Name: ${rawGuild.name} failed. Unable to get botMember or channels`
);
}
const guild = await structures.createDiscordenoGuild(rawGuild, shardId);