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';