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

A disconnect caused by a websocket error should trigger a reconnect

Browse Source
This commit is contained in:
RogueException
2015-12-25 19:36:00 -04:00
parent 0fd946152c
commit 503d474135
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/Discord.Net/Net/WebSockets/WS4NetEngine.cs
View File

@@ -76,7 +76,7 @@ namespace Discord.Net.WebSockets
private void OnWebSocketError(object sender, ErrorEventArgs e) private void OnWebSocketError(object sender, ErrorEventArgs e)
{ {
_taskManager.SignalError(e.Exception); _taskManager.SignalError(e.Exception, isUnexpected: true);
_waitUntilConnect.Set(); _waitUntilConnect.Set();
} }
private void OnWebSocketClosed(object sender, EventArgs e) private void OnWebSocketClosed(object sender, EventArgs e)