add websocket-close procedure