Clarified when to shut down the PushManager.