std::copy(_device_manager.devices().begin(),
_device_manager.devices().end(), std::back_inserter(devices));
if (std::find(devices.begin(), devices.end(), selected_device) ==
devices.end())
devices.push_back(selected_device);
std::copy(_device_manager.devices().begin(),
_device_manager.devices().end(), std::back_inserter(devices));
if (std::find(devices.begin(), devices.end(), selected_device) ==
devices.end())
devices.push_back(selected_device);