src/hotspot/os/windows/os_windows.cpp
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;