Expose WebSocketClient.IsConnected to the user (#109)

melon095 · Jun 24, 2024 · 77049fc · 77049fc
1 parent be203db
commit 77049fc
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 1 deletion.
diff --git a/MiniTwitch.Irc/IrcClient.cs b/MiniTwitch.Irc/IrcClient.cs
@@ -30,6 +30,10 @@ public sealed class IrcClient : IAsyncDisposable
     /// <para>Can be toggled with <see cref="DefaultMiniTwitchLogger{T}.Enabled"/></para>
     /// </summary>
     public DefaultMiniTwitchLogger<IrcChannel> DefaultLogger { get; } = new();
+    /// <summary>
+    /// Whether the client is currently connected
+    /// </summary>
+    public bool IsConnected => _ws.IsConnected;
 
     internal ClientOptions Options { get; init; }
     #endregion

diff --git a/MiniTwitch.Irc/IrcMembershipClient.cs b/MiniTwitch.Irc/IrcMembershipClient.cs
@@ -24,6 +24,10 @@ public sealed class IrcMembershipClient : IAsyncDisposable
     /// The action to invoke when an exception is caught within an event
     /// </summary>
     public Action<Exception> ExceptionHandler { get; set; } = default!;
+    /// <summary>
+    /// Whether the client is currently connected
+    /// </summary>
+    public bool IsConnected => _ws.IsConnected;
     #endregion
 
     #region Events

diff --git a/MiniTwitch.PubSub/PubSubClient.cs b/MiniTwitch.PubSub/PubSubClient.cs
@@ -9,8 +9,8 @@
 using MiniTwitch.PubSub.Internal.Enums;
 using MiniTwitch.PubSub.Internal.Models;
 using MiniTwitch.PubSub.Internal.Parsing;
-using MiniTwitch.PubSub.Payloads;
 using MiniTwitch.PubSub.Models;
+using MiniTwitch.PubSub.Payloads;
 
 namespace MiniTwitch.PubSub;
 
@@ -33,6 +33,10 @@ public sealed class PubSubClient : IAsyncDisposable
     /// <para>Can be toggled with <see cref="DefaultMiniTwitchLogger{T}.Enabled"/></para>
     /// </summary>
     public DefaultMiniTwitchLogger<PubSubClient> DefaultLogger { get; } = new();
+    /// <summary>
+    /// Whether the client is currently connected
+    /// </summary>
+    public bool IsConnected => _ws.IsConnected;
     #endregion
 
     #region Events