core/sessionmanager.lua
changeset 13470 5d9ec2e55d74
parent 13099 1693bd4de283