This library defines session management based on HTTP cookies. Session
management is enabled simply by loading this module. Details can be
modified using http_set_session_options/1. By default, this module
creates a session whenever a request is processes that is inside the
hierarchy defined for session handling (see path option in
http_set_session_options/1). Automatic creation of a session can be
stopped using the option
create(noauto). The predicate
http_open_session/2 must be used to create a session if
enabled. Sessions can be closed using http_close_session/1.
If a session is active, http_in_session/1 returns the current session and http_session_assert/1 and friends maintain data about the session. If the session is reclaimed, all associated data is reclaimed too.
Begin and end of sessions can be monitored using library(broadcast). The broadcasted messages are:
- http_session(begin(SessionID, Peer))
- Broadcasted if a session is started
- http_session(end(SessionId, Peer))
- Broadcasted if a session is ended. See http_close_session/1.
For example, the following calls
end_session(SessionId) whenever a
session terminates. Please note that sessions ends are not scheduled to
happen at the actual timeout moment of the session. Instead, creating a
new session scans the active list for timed-out sessions. This may
change in future versions of this library.
:- listen(http_session(end(SessionId, Peer)), end_session(SessionId)).
- http_set_session_options(+Options) is det
- Set options for the session library. Provided options are:
- Session timeout in seconds. Default is 600 (10 min).
A timeout of
0(zero) disables timeout.
- Name to use for the cookie to identify the session.
- Path to which the cookie is associated. Default is
/. Cookies are only sent if the HTTP request path is a refinement of Path.
- Set the route name. Default is the unqualified hostname. To cancel adding a route, use the empty atom. See route/1.
- Enable/disable session management. Sesion management is enabled by default after loading this file.
- Defines when a session is created. This is one of
auto(default), which creates a session if there is a request whose path matches the defined session path or
noauto, in which cases sessions are only created by calling http_open_session/2 explicitely.
- Enable/disable proxy session management. Proxy session management associates the originating IP address of the client to the session rather than the proxy IP address. Default is false.
- When is one of
active, which starts a thread that performs session cleanup at close to the moment of the timeout or
passive, which runs session GC when a new session is created.
- One of
strict- The SameSite attribute prevents the CSRF vulnerability. strict has best security, but prevents links from external sites from operating properly. lax stops most CSRF attacks against REST endpoints but rarely interferes with legitimage operations.
noneremoves the samesite attribute entirely. Caution: The value
noneexposes the entire site to CSRF attacks.
- Alias name of the redis database to access. See redis_server/2.
- Prefix to use for all HTTP session related keys. Default is
- http_session_option(?Option) is nondet
- True if Option is a current option of the session system.
- http_set_session(Setting) is det
- http_set_session(SessionId, Setting) is det
- Overrule a setting for the current or specified session.
Currently, the only setting that can be overruled is
- http_session_id(-SessionId) is det
- True if SessionId is an identifier for the current session.
- http_in_session(-SessionId) is semidet
- True if SessionId is an identifier for the current session. The
current session is extracted from
session(ID)from the current HTTP request (see http_current_request/1). The value is cached in a backtrackable global variable
http_session_id. Using a backtrackable global variable is safe because continuous worker threads use a failure driven loop and spawned threads start without any global variables. This variable can be set from the commandline to fake running a goal from the commandline in the context of a session.
- http_open_session(-SessionID, +Options) is det
- Establish a new session. This is normally used if the create
option is set to
false) and the current request is part of a session, generate a new session-id. By default, this predicate returns the current session as obtained with http_in_session/1.
- http_session_asserta(+Data) is det
- http_session_assert(+Data) is det
- http_session_retract(?Data) is nondet
- http_session_retractall(?Data) is det
- Versions of assert/1, retract/1 and retractall/1 that associate data with the current HTTP session.
- http_session_data(?Data) is nondet
- True if Data is associated using http_session_assert/1 to the current HTTP session.
- http_session_asserta(+Data, +SessionID) is det
- http_session_assert(+Data, +SessionID) is det
- http_session_retract(?Data, +SessionID) is nondet
- http_session_retractall(@Data, +SessionID) is det
- http_session_data(?Data, +SessionID) is det
- Versions of assert/1, retract/1 and retractall/1 that associate data with an explicit HTTP session.
- http_current_session(?SessionID, ?Data) is nondet
- Enumerate the current sessions and associated data. There are
two pseudo data elements:
- Session has been idle for Seconds.
- Peer of the connection.
- http_close_session(+SessionID) is det
- Closes an HTTP session. This predicate can be called from any
thread to terminate a session. It uses the broadcast/1 service
with the message below.
The broadcast is done before the session data is destroyed and the listen-handlers are executed in context of the session that is being closed. Here is an example that destroys a Prolog thread that is associated to a thread:
:- listen(http_session(end(SessionId, _Peer)), kill_session_thread(SessionID)). kill_session_thread(SessionID) :- http_session_data(thread(ThreadID)), thread_signal(ThreadID, throw(session_closed)).
Succeed without any effect if SessionID does not refer to an active session.
If http_close_session/1 is called from a handler operating in the current session and the CGI stream is still in state
header, this predicate emits a
Set-Cookieto expire the cookie.
- http_session_cookie(-Cookie) is det
- Generate a random cookie that can be used by a browser to identify the current session. The cookie has the format XXXX-XXXX-XXXX-XXXX[.<route>], where XXXX are random hexadecimal numbers and [.<route>] is the optionally added routing information.
The following predicates are exported, but not or incorrectly documented.