001+ Warning: file_get_contents(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s/issue0115.php on line 25
002+
003+ Warning: file_get_contents(http://localhost:8964/issue0115_1.phar.php): failed to open stream: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s/issue0115.php on line 25
004+
001- Hello from Index 1.
002- Hello World 1!
003- Hello from Index 2.
004- Hello World 2!
005+ Warning: file_get_contents(): php_network_getaddresses: getaddrinfo failed: No address associated with hostname in %s/issue0115.php on line 26
006+
007+ Warning: file_get_contents(http://localhost:8964/issue0115_2.phar.php): failed to open stream: php_network_getaddresses: getaddrinfo failed: No address associated with hostname in %s/issue0115.php on line 26