1--TEST--
2$_SERVER variable
3--INI--
4allow_url_fopen=1
5--SKIPIF--
6<?php
7include "skipif.inc";
8?>
9--FILE--
10<?php
11include "php_cli_server.inc";
12php_cli_server_start('var_dump($_SERVER["DOCUMENT_ROOT"], $_SERVER["SERVER_SOFTWARE"], $_SERVER["SERVER_NAME"], $_SERVER["SERVER_PORT"]);');
13var_dump(file_get_contents("http://" . PHP_CLI_SERVER_ADDRESS));
14?>
15--EXPECTF--
16string(%d) "string(%d) "%sphp_cli_server_002"
17string(%d) "PHP/%s (Development Server)"
18string(%d) "localhost"
19string(%d) "%s"
20"
21