src/os/windows/vm/os_windows.cpp

rev 8942 : 8211106: [windows] Update OS detection code to recognize Windows Server 2019
Reviewed-by: alanb, clanger, bobv

*** 1755,1765 ****
  
    case 6004:
      if (is_workstation) {
        st->print("10");
      } else {
!       st->print("Server 2016");
      }
      break;
  
    default:
      // Unrecognized windows, print out its major and minor versions
--- 1755,1771 ----
  
    case 6004:
      if (is_workstation) {
        st->print("10");
      } else {
!       // distinguish Windows Server 2016 and 2019 by build number
!       // Windows server 2019 GA 10/2018 build number is 17763
!       if (build_number > 17762) {
!         st->print("Server 2019");
!       } else {
!         st->print("Server 2016");
!       }
      }
      break;
  
    default:
      // Unrecognized windows, print out its major and minor versions