doc & miscellaneous changes

gcontini

2020-10-31 510d41ff7d12c8a8ba230d3b3f732b19a20f15e3

 src/library/hw_identifier/identification_strategy.cpp

@@ -45,11 +45,8 @@
      case STRATEGY_IP_ADDRESS:
         result = unique_ptr<IdentificationStrategy>(dynamic_cast<IdentificationStrategy*>(new Ethernet(true)));
         break;
      case STRATEGY_DISK_NUM:
         result = unique_ptr<IdentificationStrategy>(dynamic_cast<IdentificationStrategy*>(new DiskStrategy(true)));
         break;
      case STRATEGY_DISK_LABEL:
         result = unique_ptr<IdentificationStrategy>(dynamic_cast<IdentificationStrategy*>(new DiskStrategy(false)));
      case STRATEGY_DISK:
         result = unique_ptr<IdentificationStrategy>(dynamic_cast<IdentificationStrategy*>(new DiskStrategy()));
         break;
      default:
         throw logic_error("strategy not supported");