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).
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).