src/os/windows/vm/os_windows.cpp

rev 10297 : 8150490: Update OS detection code to recognize Windows Server 2016
Reviewed-by:

@@ -1666,12 +1666,11 @@
 
   case 10000:
     if (is_workstation) {
       st->print("10");
     } else {
-      // The server version name of Windows 10 is not known at this time
-      st->print("%d.%d", major_version, minor_version);
+      st->print("Server 2016");
     }
     break;
 
   default:
     // Unrecognized windows, print out its major and minor versions