1--TEST--
2$http_reponse_header (redirect + not found)
3--SKIPIF--
4<?php require 'server.inc'; http_server_skipif('tcp://127.0.0.1:22348'); ?>
5--INI--
6allow_url_fopen=1
7--FILE--
8<?php
9require 'server.inc';
10
11$responses = array(
12	"data://text/plain,HTTP/1.0 302 Found\r\n"
13    . "Some: Header\r\nLocation: http://127.0.0.1:22348/try-again\r\n\r\n",
14    "data://test/plain,HTTP/1.0 404 Not Found\r\nSome: Header\r\n\r\nBody",
15);
16
17$pid = http_server("tcp://127.0.0.1:22348", $responses, $output);
18
19function test() {
20    $f = file_get_contents('http://127.0.0.1:22348/');
21    var_dump($f);
22    var_dump($http_response_header);
23}
24test();
25
26http_server_kill($pid);
27?>
28==DONE==
29--EXPECTF--
30Warning: file_get_contents(http://127.0.0.1:22348/): failed to open stream: HTTP request failed! HTTP/1.0 404 Not Found%a
31bool(false)
32array(5) {
33  [0]=>
34  string(18) "HTTP/1.0 302 Found"
35  [1]=>
36  string(12) "Some: Header"
37  [2]=>
38  string(42) "Location: http://127.0.0.1:22348/try-again"
39  [3]=>
40  string(22) "HTTP/1.0 404 Not Found"
41  [4]=>
42  string(12) "Some: Header"
43}
44==DONE==
45