gcontini
2020-11-28 55a8483884c70b03c86a6508469f708e48211638
src/inspector/inspector.cpp
@@ -127,7 +127,9 @@
   license::os::DmiInfo dmi_info;
   cout << "Bios vendor      :" << dmi_info.bios_vendor() << endl;
   cout << "Bios description :" << dmi_info.bios_description() << endl;
   cout << "System vendor    :" << dmi_info.sys_vendor() << endl << endl;
   cout << "System vendor    :" << dmi_info.sys_vendor() << endl;
   cout << "Cpu Vendor (dmi) :" << dmi_info.cpu_manufacturer() << endl;
   cout << "Cpu Cores  (dmi) :" << dmi_info.cpu_cores() << endl;
   cout << "==================" << endl;
   if (argc == 2) {
      const string fname(argv[1]);