Module HTML.Session

Author
Michael Hanus
Version
October 2025

This module implements the management of sessions. In particular, it defines a cookie that must be sent to the client in order to enable the handling of sessions. Based on sessions, this module also defines a session store that can be used by various parts of the application in order to hold some session-specific data.


Cookies to support sessions


Session data handling