From 6b8e667ad26c4e654f84b7f12b851c07d801211d Mon Sep 17 00:00:00 2001
From: Miguel Grinberg <miguel.grinberg@gmail.com>
Date: Sat, 29 Jun 2019 10:09:45 +0100
Subject: [PATCH] documentation on user session behavior on disconnections

---
 docs/server.rst | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/server.rst b/docs/server.rst
index aa039d51..96a2fc3a 100644
--- a/docs/server.rst
+++ b/docs/server.rst
@@ -228,7 +228,6 @@ retrieve information in the user session::
 
 For the ``asyncio`` server, these methods are coroutines::
 
-
     @eio.on('connect')
     async def on_connect(sid, environ):
         username = authenticate_user(environ)
@@ -265,6 +264,9 @@ For the ``asyncio`` server, an asynchronous context manager is used::
         async with eio.session(sid) as session:
             print('message from ', session['username'])
 
+Note: the contents of the user session are destroyed when the client
+disconnects.
+
 Disconnecting a Client
 ----------------------