Commit 79c42231 authored by ale's avatar ale

Use short names for fields in the JSON-encoded session

Makes the authentication cookie quite shorter.
parent ab1f1f82
Pipeline #5408 passed with stages
in 3 minutes