Keep the current JwtSession and add some values in it, if a key is already defined, it will be overriden.
Keep the current JwtSession and add some values in it, if a key is already defined, it will be overriden.
Retrieve the current JwtSession from the headers (first from the Result then from the RequestHeader), if none, create a new one.
Retrieve the current JwtSession from the headers (first from the Result then from the RequestHeader), if none, create a new one.
the JwtSession inside the headers or a new one
If the Play app has a session.maxAge config, it will extend the expiration of the JwtSession by that time, if not, it will do nothing.
If the Play app has a session.maxAge config, it will extend the expiration of the JwtSession by that time, if not, it will do nothing.
the same Result with, eventually, a prolonged JwtSession
Remove some keys from the current JwtSession
Override the current JwtSession with a new one created from a sequence of tuples
Override the current JwtSession with a new one created from a JsObject
Override the current JwtSession with a new one
Override the current JwtSession with a new empty one
Remove the current JwtSession, which means removing the associated HTTP header
By adding
import pdi.jwt._
, you will implicitely add all those methods toResult
allowing you to easily manipulate the JwtSession inside your Play application.