-Corregido bug detectado en el metodo DeviceManager::availablePortsFor
al determinar el id de un device