equal
deleted
inserted
replaced
1686 |
1686 |
1687 case 10000: |
1687 case 10000: |
1688 if (is_workstation) { |
1688 if (is_workstation) { |
1689 st->print("10"); |
1689 st->print("10"); |
1690 } else { |
1690 } else { |
1691 st->print("Server 2016"); |
1691 // distinguish Windows Server 2016 and 2019 by build number |
|
1692 // Windows server 2019 GA 10/2018 build number is 17763 |
|
1693 if (build_number > 17762) { |
|
1694 st->print("Server 2019"); |
|
1695 } else { |
|
1696 st->print("Server 2016"); |
|
1697 } |
1692 } |
1698 } |
1693 break; |
1699 break; |
1694 |
1700 |
1695 default: |
1701 default: |
1696 // Unrecognized windows, print out its major and minor versions |
1702 // Unrecognized windows, print out its major and minor versions |