Event HTML websocket code for notifications