df8a0f7cd6
* Fix: Using the correct discord domain. * Fix: Using the correct discord domain. * Docs: Using the correct discord domain. * Fix: Changed canary and ptb to the new domain.
35 lines
1.2 KiB
C#
35 lines
1.2 KiB
C#
using System;
|
|
namespace Discord.Net
|
|
{
|
|
/// <summary>
|
|
/// The exception that is thrown when the WebSocket session is closed by Discord.
|
|
/// </summary>
|
|
public class WebSocketClosedException : Exception
|
|
{
|
|
/// <summary>
|
|
/// Gets the close code sent by Discord.
|
|
/// </summary>
|
|
/// <returns>
|
|
/// A
|
|
/// <see href="https://discord.com/developers/docs/topics/opcodes-and-status-codes#gateway-gateway-close-event-codes">close code</see>
|
|
/// from Discord.
|
|
/// </returns>
|
|
public int CloseCode { get; }
|
|
/// <summary>
|
|
/// Gets the reason of the interruption.
|
|
/// </summary>
|
|
public string Reason { get; }
|
|
|
|
/// <summary>
|
|
/// Initializes a new instance of the <see cref="WebSocketClosedException" /> using a Discord close code
|
|
/// and an optional reason.
|
|
/// </summary>
|
|
public WebSocketClosedException(int closeCode, string reason = null)
|
|
: base($"The server sent close {closeCode}{(reason != null ? $": \"{reason}\"" : "")}")
|
|
{
|
|
CloseCode = closeCode;
|
|
Reason = reason;
|
|
}
|
|
}
|
|
}
|