changeset 52571 | c02aa8873ff2 |
parent 52462 | 4ad404da0088 |
child 52581 | d402a406bbc3 |
--- a/src/hotspot/os/windows/os_windows.cpp Thu Nov 15 11:26:46 2018 +0000 +++ b/src/hotspot/os/windows/os_windows.cpp Tue Oct 02 13:48:08 2018 +0200 @@ -1688,7 +1688,13 @@ if (is_workstation) { st->print("10"); } else { - st->print("Server 2016"); + // 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;