Fix the websocket_send_many return value