Updated push mechanism to send the name of the push server, not its ID, to the Controller to match to the user's primary push server.