On 09/11/2015 03:33 AM, Daniel Reurich wrote:
> [...]
> We could either use $USER_$SESSIONID or $USER/$SESSIONID to
> implement multiple sessions per user.
> [...]

Hi Daniel,

what is $SESSIONID? How is the value determined?

Kind regards,
T.