spec.md

Spec

Always use standard json serializer/deserializer nothing custom.

Create Session

args:

expires - Seconds till expiry
data - A flat (preferably) K : V json string
secret - Some secret key ie os.urandom(24)

proc:

 session_key = 32 Char random string
 data_hashed = hash(data)
 redis SET session_key `data` expires

return: session_key

Set Data

args:

session_key
data - A flat (preferably) K : V json string

proc:

 redis SET session_key data

Set Key

args:

session_key
key = the key to store the data in
value = the value of the key

proc:

 redis WATCH session_key
 data_raw = redis GET session_key
 data = json.loads(data_raw)
 data[k] = v
 redis MULTI
 redis SET session_key json.dumps(data)
 redis EXEC

Get full Session

args:

session_key

proc:

 redis GET session_key

Destroy Session

args:

session_key

proc:

 redis DELETE session_key

Note the python implementation in python/session.py is probably most useful here