server: use the user's session manager to delete a session;

Otherwise the session is kept in the in-memory store, while being
deleted from the database (so the deletion only happens on the next run).
1 job for fix-delete-session in 4 minutes and 2 seconds (queued for 1 second)
Status Name Job ID Coverage
passed ci #1211281