[not loaded]PublicShow sourcehttp_redis_plugin.pl -- Hook session management to use Redis

This module acts as a plugin for library(http/http_session), storing session information on a Redis server. This has several consequences:

The library is activated by loading it in addition to library(http/http_session) and using http_set_session_options/1 to configure the Redis database as below. The redis_server/2 predicate from library(redis) can be used to specify the parameters for the redis server such as host, port or authentication.

:- http_set_session_options(
       [ redis_db(default),

Redis key usage

All Redis keys reside under a prefix specified by the option redis_prefix(Prefix), which defaults to 'swipl:http:session'. Here we find: