From ae74549239f80ef40e978942b71c08a7e8a09a23 Mon Sep 17 00:00:00 2001 From: Anatol Belski Date: Mon, 4 Aug 2014 09:57:08 +0200 Subject: [PATCH] backport the fix for bug #67739 --- ext/standard/info.c | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/ext/standard/info.c b/ext/standard/info.c index 98b4a8098c..7868208668 100644 --- a/ext/standard/info.c +++ b/ext/standard/info.c @@ -600,6 +600,14 @@ PHPAPI char *php_get_uname(char mode) php_get_windows_cpu(wincpu, sizeof(wincpu)); dwBuild = (DWORD)(HIWORD(dwVersion)); + + /* Windows "version" 6.2 could be Windows 8/Windows Server 2012, but also Windows 8.1/Windows Server 2012 R2 */ + if (dwWindowsMajorVersion == 6 && dwWindowsMinorVersion == 2) { + if (strncmp(winver, "Windows 8.1", 11) == 0 || strncmp(winver, "Windows Server 2012 R2", 22) == 0) { + dwWindowsMinorVersion = 3; + } + } + snprintf(tmp_uname, sizeof(tmp_uname), "%s %s %d.%d build %d (%s) %s", "Windows NT", ComputerName, dwWindowsMajorVersion, dwWindowsMinorVersion, dwBuild, winver?winver:"unknown", wincpu); -- 2.40.0