Added the PushServer class for potential future use. I doubt it, though.