*
* @copyright (C) 2007-2020 G. Giunta
* @license code licensed under the BSD License: see file license.txt
*
* @copyright (C) 2007-2020 G. Giunta
* @license code licensed under the BSD License: see file license.txt
if (isset($REQUEST_URI)) {
$HTTPURI = str_replace('/tests/testsuite.php', '/demo/server/server.php', $REQUEST_URI);
$HTTPURI = str_replace('/testsuite.php', '/server.php', $HTTPURI);
if (isset($REQUEST_URI)) {
$HTTPURI = str_replace('/tests/testsuite.php', '/demo/server/server.php', $REQUEST_URI);
$HTTPURI = str_replace('/testsuite.php', '/server.php', $HTTPURI);
$HTTPURI = str_replace('/benchmark.php', '/server.php', $HTTPURI);
} elseif (isset($_SERVER['PHP_SELF']) && isset($_SERVER['REQUEST_METHOD'])) {
$HTTPURI = str_replace('/tests/testsuite.php', '/demo/server/server.php', $_SERVER['PHP_SELF']);
$HTTPURI = str_replace('/testsuite.php', '/server.php', $HTTPURI);
$HTTPURI = str_replace('/benchmark.php', '/server.php', $HTTPURI);
} elseif (isset($_SERVER['PHP_SELF']) && isset($_SERVER['REQUEST_METHOD'])) {
$HTTPURI = str_replace('/tests/testsuite.php', '/demo/server/server.php', $_SERVER['PHP_SELF']);
$HTTPURI = str_replace('/testsuite.php', '/server.php', $HTTPURI);
$HTTPURI = str_replace('/benchmark.php', '/server.php', $HTTPURI);
} else {
$HTTPURI = '/demo/server/server.php';
$HTTPURI = str_replace('/benchmark.php', '/server.php', $HTTPURI);
} else {
$HTTPURI = '/demo/server/server.php';