Adapted for changes in push server.