cpu brand

gcontini

2020-03-15 6dd7902d6f148a4ac78e5478edb3a2ca8624f74c

 src/library/hw_identifier/hw_identifier_facade.cpp

@@ -55,19 +55,19 @@
   HwIdentifier pc_id;
   FUNCTION_RETURN result = strategy_ptr->identify_pc(pc_id);
   if (result != FUNC_RET_OK) {
      /// FIXME
      throw logic_error("strategy " + to_string(strategy_ptr->identification_strategy()) + " failed");
   }
   ExecutionEnvironment exec;
   VIRTUALIZATION virtualization = exec.getVirtualization();
   os::ExecutionEnvironment exec;
   os::VIRTUALIZATION virtualization = exec.getVirtualization();
   pc_id.set_virtual_environment(virtualization);
   pc_id.set_use_environment_var(use_env_var);
   if (virtualization != NONE) {
   if (virtualization != os::NONE) {
      bool isCloud = exec.is_cloud();
      if (isCloud) {
         pc_id.set_cloud_provider(exec.getCloudProvider());
      } else {
         CpuInfo cpu;
         pc_id.set_virtualization(cpu.getVirtualizationDetail());
         os::CpuInfo cpu;
         pc_id.set_virtualization(cpu.virtualization_details());
      }
   }
   return pc_id.print();