From d33b0156fcc3d5f0494565ab071592566ef8e141 Mon Sep 17 00:00:00 2001 From: Lars Jung Date: Sat, 5 Jul 2014 02:58:15 +0200 Subject: [PATCH] Fix server detection. --- src/_h5ai/server/php/inc/setup.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/_h5ai/server/php/inc/setup.php b/src/_h5ai/server/php/inc/setup.php index 17358600..74ac2645 100644 --- a/src/_h5ai/server/php/inc/setup.php +++ b/src/_h5ai/server/php/inc/setup.php @@ -40,9 +40,9 @@ function setup() { $server_name = null; $server_version = null; $server_software = getenv("SERVER_SOFTWARE"); - if ($server_software && preg_match("#^(.*?)/(.*?)(?: |$)#", strtolower($server_software), $matches)) { + if ($server_software && preg_match("#^(.*?)(?:/(.*?))?(?: |$)#", strtolower($server_software), $matches)) { $server_name = $matches[1]; - $server_version = $matches[2]; + $server_version = count($matches) > 2 ? $matches[2] : ''; } define("SERVER_NAME", $server_name); define("SERVER_VERSION", $server_version);