ark::gui::WebSocketPluginMapping

Defined in header “ark/gui/plugin_set.hh”.

---

This maps a websocket client to a plugin bridge, allowing you to subscribe to remote messages.

Variables

• std::vector< PluginSubscriberBridgeBasePtr > bridges
  The plugin bridge(s) we write to.

• comms::WebSocketClientPtr websocket
  The websocket we poll.

• bool websocket_enabled= true
  Indicates if this websocket/plugin mapping is enabled or not. If disabled, the websocket is left disconnected.

• uint64_t sequence_number= 0
  Sequence number for incoming messages.