# HG changeset patch
# User asaha
# Date 1247259602 25200
# Node ID 5f14026df877ea5cec23f453043d29344f6c48e0
# Parent  5a6085c47686264bb3105935e9f07bd4dae0e5bf
6842999: Update hotspot windows os_win32 for windows 2008 R2
Reviewed-by: xlu

diff -r 5a6085c47686 -r 5f14026df877 src/os/windows/vm/os_windows.cpp
--- a/src/os/windows/vm/os_windows.cpp	Wed Apr 08 15:16:14 2009 -0700
+++ b/src/os/windows/vm/os_windows.cpp	Fri Jul 10 14:00:02 2009 -0700
@@ -1561,8 +1561,7 @@
         if (osvi.wProductType == VER_NT_WORKSTATION) {
             st->print(" Windows 7");
         } else {
-            // Unrecognized windows, print out its major and minor versions
-            st->print(" Windows NT %d.%d", osvi.dwMajorVersion, osvi.dwMinorVersion);
+            st->print(" Windows Server 2008 R2");
         }
         if (si.wProcessorArchitecture == PROCESSOR_ARCHITECTURE_AMD64)
             st->print(" , 64 bit");