tree fd3bb2d3651d996f917f2de3e766ba9095619cd0
parent cf1e37c0ee7326ca84f445710e28c287c69383de
author Luca Milanesio <luca.milanesio@gmail.com> 1579557023 -0800
committer Luca Milanesio <luca.milanesio@gmail.com> 1579558052 -0800

Log websessions when they are produced and consumed

Generate a new websession_log file under $GERRIT_SITE/logs in order
to trace the activity of the websessions created and received from the other
nodes.

Only non-sensitive information is logged, whilst the authentication keys
and the binary session payload is omitted.

Change-Id: I9da0ac4478ecedf06b93a6d93e97a219770503df