// Package ws implements the Websocket handler for the push service.
package ws