Function iox_ws_detach_user_trigger_event

Function Documentation

void iox_ws_detach_user_trigger_event(iox_ws_t const self, iox_user_trigger_t const userTrigger)

detaches a user trigger event from a waitset

Parameters:
  • self[in] handle to the waitset

  • usertrigger[in] the user trigger which should be detached