fixed a few problems related to server relaunch. Sessions are now persisted using redis to avoid user reconnection.