Server restart should preserve sessions #49
Description
Right now it is not practical to restart the HTTP API server in production settings because doing so causes all clients' sessions to be lost. It would be better if sessions were stored in a database or memcached. This would also make API server crashes less noticeable.