Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WAIT TO MERGE] Sharding Capabilities #82

Closed
wants to merge 6 commits into from

Conversation

cryptiklemur
Copy link
Contributor

This will add sharding to DiscordPHP.

Wait to merge until discord/discord-api-docs#17 is implemented and released.

* 'bot-api' of github.com:teamreflex/DiscordPHP:
  Revert "$data->id to $data->user->id on `GUILD_MEMBER_UPDATE`"
  $data->id to $data->user->id on `GUILD_MEMBER_UPDATE`
  Implemented chunking for `GUILD_CREATE` events properly
  Applied fixes from StyleCI
  Fixed up audio recieving
  Applied fixes from StyleCI
  Disabled chunking on `GUILD_CREATE`
  Added the option to provide a DNS resolver
@davidcole1340
Copy link
Member

👍 looks good! Only thing would be that would it be possible to provide the options to the WebSocket class instead of through the Discord client?

@davidcole1340
Copy link
Member

Could you resend this in on the develop branch?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants