github/Discord.Net
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed GUILD_UPDATE crash

Browse Source
This commit is contained in:
Brandon Smith
2015-08-13 01:40:54 -03:00
parent 6abd07e0bf
commit ae4b519b7a
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Discord.Net/API/Models/WebSocketEvents.cs
View File

@@ -27,7 +27,7 @@ namespace Discord.API.Models
//Servers //Servers
public sealed class GuildCreate : ExtendedServerInfo { } public sealed class GuildCreate : ExtendedServerInfo { }
public sealed class GuildUpdate : ExtendedServerInfo { } public sealed class GuildUpdate : ServerInfo { }
public sealed class GuildDelete : ExtendedServerInfo { } public sealed class GuildDelete : ExtendedServerInfo { }
//Channels //Channels

2
Discord.Net/DiscordWebSocket.cs
View File

@@ -71,7 +71,7 @@ namespace Discord
} }
public async Task DisconnectAsync() public async Task DisconnectAsync()
{ {
if (_webSocket != null) if (_tasks != null)
{ {
_cancelToken.Cancel(); _cancelToken.Cancel();
await _tasks; await _tasks;