Push server

The push server is a servlet deployed within the NexJ Model Engine.

The push server receives initial client requests, authenticates them, and redirects them to the push redirector.

The push server maintains a persistent HTTP connection with the push redirector to allow it to serve as the API entry point for the metadata layer and to allow push notifications to be sent to the client through the push redirector.