Stop handling new requests after the server has been stopped (#416)

Kaliumhexacyanoferrat · Nov 23, 2023 · c12cbbe · c12cbbe
1 parent 078822f
commit c12cbbe
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 1 deletion.
diff --git a/API/Infrastructure/IServer.cs b/API/Infrastructure/IServer.cs
@@ -20,6 +20,12 @@ public interface IServer : IDisposable
         /// </remarks>
         string Version { get; }
 
+        /// <summary>
+        /// Specifies, whether the server still serves requests or
+        /// whether it is currently shut down.
+        /// </summary>
+        bool Running { get; }
+
         /// <summary>
         /// If enabled, components may provide additional information
         /// allowing developers to further debug web applications.

diff --git a/Engine/Infrastructure/ThreadedServer.cs b/Engine/Infrastructure/ThreadedServer.cs
@@ -19,6 +19,8 @@ internal sealed class ThreadedServer : IServer
 
         public string Version { get; }
 
+        public bool Running => !disposed;
+
         public bool Development => Configuration.DevelopmentMode;
 
         public IHandler Handler { get; private set; }

diff --git a/Engine/Protocol/ClientHandler.cs b/Engine/Protocol/ClientHandler.cs
@@ -108,7 +108,7 @@ private async ValueTask HandlePipe(PipeReader reader)
 
                 RequestBuilder? request;
 
-                while ((request = await parser.TryParseAsync(buffer).ConfigureAwait(false)) is not null)
+                while (Server.Running && (request = await parser.TryParseAsync(buffer).ConfigureAwait(false)) is not null)
                 {
                     if (!await HandleRequest(request))
                     {