diff options
author | jfrijters <jfrijters> | 2011-09-29 13:40:30 +0400 |
---|---|---|
committer | jfrijters <jfrijters> | 2011-09-29 13:40:30 +0400 |
commit | 02c3477d63a4ff23ce657836e9113ae4c8fe3fd6 (patch) | |
tree | 9753000de0ef6351c229a75b302fe50bf31a90cf /openjdk/java | |
parent | 7c7e061ed26cdde0e80c14c6c313d5ccbd93cf9b (diff) |
Bug fix. Set os.name and os.version properties correctly when running on unknown Windows version (Windows 8).
Diffstat (limited to 'openjdk/java')
-rw-r--r-- | openjdk/java/lang/VMSystemProperties.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/openjdk/java/lang/VMSystemProperties.java b/openjdk/java/lang/VMSystemProperties.java index fd9c841d..c982e2dd 100644 --- a/openjdk/java/lang/VMSystemProperties.java +++ b/openjdk/java/lang/VMSystemProperties.java @@ -152,6 +152,7 @@ final class VMSystemProperties switch(os.get_Platform().Value) { case cli.System.PlatformID.Win32NT: + osname = "Windows NT (unknown)"; switch(major) { case 3: @@ -231,7 +232,7 @@ final class VMSystemProperties } if(osver == null) { - osver = cli.System.Environment.get_OSVersion().get_Version().ToString(); + osver = major + "." + minor; } p.setProperty("os.name", osname); p.setProperty("os.version", osver); |