From 7915271aa04a497d933dc57c7bd3116a8c275c61 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Pit-Claudel?= <clement.pit-claudel@epfl.ch>
Date: Fri, 27 Dec 2024 12:33:41 +0100
Subject: [PATCH] server: Record disconnection during shutdown
---
jvm/src/main/scala/cs214/webapp/server/web/ServerApp.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/jvm/src/main/scala/cs214/webapp/server/web/ServerApp.scala b/jvm/src/main/scala/cs214/webapp/server/web/ServerApp.scala
index f9c6534..75b416b 100644
--- a/jvm/src/main/scala/cs214/webapp/server/web/ServerApp.scala
+++ b/jvm/src/main/scala/cs214/webapp/server/web/ServerApp.scala
@@ -121,6 +121,7 @@ private[web] abstract class ServerApp:
channel <- userChannels
do
send(userId, channel)(cask.Ws.Close(cask.Ws.Close.NormalClosure, "Shutdown"))
+ disconnect(userId, channel)
/** Sends a message to a specific client. */
private def send(userId: UserId)(message: ujson.Value): Unit = instanceLock.synchronized:
--
GitLab