add a websocket server for push notifications