//
if (release.equals("post2008Server") &&
platformModule.version().startsWith("6.1."))
{
boolean isServer = false;
WinregModule winreg =
(WinregModule)client.getModule("_winreg");
Object hkey = winreg.openKey(WinregModule.HKEY_LOCAL_MACHINE,
"Software\\Microsoft\\Windows NT\\CurrentVersion");
try {
String prodname =
(String)winreg.queryValue(hkey, "ProductName");
if (prodname.indexOf("Server") != -1)
isServer = true;
} finally {
winreg.closeKey(hkey);
}
// Replace the post2008Server with the correct value.
release = isServer ? "2008ServerR2" : "7";
}