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 75b416b20f61416b3ce72093851992e285c1bec6..bd65415161545724aae29bebef9d7869ab3cbd4f 100644 --- a/jvm/src/main/scala/cs214/webapp/server/web/ServerApp.scala +++ b/jvm/src/main/scala/cs214/webapp/server/web/ServerApp.scala @@ -103,6 +103,7 @@ private[web] abstract class ServerApp: () } + /** Records a disconnection. May be called multiple times (should be idempotent). **/ def disconnect(userId: UserId, channel: WebSocketChannel): Unit = instanceLock.synchronized: if channels(userId).remove(channel) then println(f"[${appInfo.id}/$instanceId/$userId] client disconnected")