gustafn
committed
on 07 Jun 22
flipping of session_id apparently works without keeping track of the old session_id, so there is no need of keeping track of it