gustafn
committed
on 31 Oct 18
make handling of session_ids more robust (necessary for user-switching feature)