Code cleanup--don't need the old WebSocket push handler.  EUCA-7380