Test: /ext/standard/tests/streams/stream_socket_sendto.phpt - Version 7.2.9

There are 15 different diffs reported by users for this test.

Count	Diff
46 (34%)	017+ Warning: stream_socket_sendto(): Broken pipe 018+ in %s/stream_socket_sendto.php on line 14 019+ int(-1) 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 020- 021- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 021+ Warning: stream_socket_sendto(): Broken pipe 022+ in %s/stream_socket_sendto.php on line 15 023+ int(-1) 022- bool(%s) 023- 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 025- 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 027- 028- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 029- bool(%s)

25 (19%)	017+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Temporary failure in name resolution in %s/stream_socket_sendto.php on line 14 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019+ Warning: stream_socket_sendto(): Failed to resolve `tcp': php_network_getaddresses: getaddrinfo failed: Temporary failure in name resolution in %s/stream_socket_sendto.php on line 14 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 024+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Temporary failure in name resolution in %s/stream_socket_sendto.php on line 15 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 026+ Warning: stream_socket_sendto(): Failed to resolve `http': php_network_getaddresses: getaddrinfo failed: Temporary failure in name resolution in %s/stream_socket_sendto.php on line 15 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i

18 (13%)	001+ Notice: fwrite(): send of 23 bytes failed with errno=57 Socket is not connected in %s/stream_socket_sendto.php on line 9 001- Notice: fwrite(): send of %i bytes failed with errno=%i Broken pipe in %s on line %i 009+ Warning: stream_socket_sendto(): Socket is not connected 009- Warning: stream_socket_sendto(): Broken pipe 013+ Warning: stream_socket_sendto(): Socket is not connected 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in %s/stream_socket_sendto.php on line 14 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019+ Warning: stream_socket_sendto(): Failed to resolve `tcp': php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in %s/stream_socket_sendto.php on line 14 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 024+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in %s/stream_socket_sendto.php on line 15 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 026+ Warning: stream_socket_sendto(): Failed to resolve `http': php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in %s/stream_socket_sendto.php on line 15 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i

11 (8%)	017+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: No address associated with hostname in %s/stream_socket_sendto.php on line 14 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019+ Warning: stream_socket_sendto(): Failed to resolve `tcp': php_network_getaddresses: getaddrinfo failed: No address associated with hostname in %s/stream_socket_sendto.php on line 14 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 024+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: No address associated with hostname in %s/stream_socket_sendto.php on line 15 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 026+ Warning: stream_socket_sendto(): Failed to resolve `http': php_network_getaddresses: getaddrinfo failed: No address associated with hostname in %s/stream_socket_sendto.php on line 15 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i

9 (7%)	001+ Notice: fwrite(): send of 23 bytes failed with errno=57 Socket is not connected in %s/stream_socket_sendto.php on line 9 001- Notice: fwrite(): send of %i bytes failed with errno=%i Broken pipe in %s on line %i 009+ Warning: stream_socket_sendto(): Socket is not connected 009- Warning: stream_socket_sendto(): Broken pipe 013+ Warning: stream_socket_sendto(): Socket is not connected 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: hostname nor servname provided, or not known in %s/stream_socket_sendto.php on line 14 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019+ Warning: stream_socket_sendto(): Failed to resolve `tcp': php_network_getaddresses: getaddrinfo failed: hostname nor servname provided, or not known in %s/stream_socket_sendto.php on line 14 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 024+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: hostname nor servname provided, or not known in %s/stream_socket_sendto.php on line 15 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 026+ Warning: stream_socket_sendto(): Failed to resolve `http': php_network_getaddresses: getaddrinfo failed: hostname nor servname provided, or not known in %s/stream_socket_sendto.php on line 15 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i

8 (6%)	024+ Warning: stream_socket_sendto(): Broken pipe 025+ in %s/stream_socket_sendto.php on line 15 026+ int(-1) 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 025- 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 027- 028- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 029- bool(%s)

7 (5%)	017+ Warning: stream_socket_sendto(): Broken pipe 018+ in %s/stream_socket_sendto.php on line 14 019+ int(-1) 020+ 023- 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 025- 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 027- 028- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 029- bool(%s)

3 (2%)	013+ Warning: stream_socket_sendto(): Invalid argument 013- Warning: stream_socket_sendto(): Broken pipe

2 (1%)	001+ Notice: fwrite(): send of 23 bytes failed with errno=57 Socket is not connected in %s/stream_socket_sendto.php on line 9 001- Notice: fwrite(): send of %i bytes failed with errno=%i Broken pipe in %s on line %i 009+ Warning: stream_socket_sendto(): Socket is not connected 009- Warning: stream_socket_sendto(): Broken pipe 013+ Warning: stream_socket_sendto(): Socket is not connected 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): Socket is not connected 018+ in %s/stream_socket_sendto.php on line 14 019+ int(-1) 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 020- 021- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 021+ Warning: stream_socket_sendto(): Socket is not connected 022+ in %s/stream_socket_sendto.php on line 15 023+ int(-1) 022- bool(%s) 023- 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 025- 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 027- 028- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 029- bool(%s)

1 (1%)	013+ Warning: stream_socket_sendto(): Invalid argument 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Temporary failure in name resolution in %s/stream_socket_sendto.php on line 14 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019+ Warning: stream_socket_sendto(): Failed to resolve `tcp': php_network_getaddresses: getaddrinfo failed: Temporary failure in name resolution in %s/stream_socket_sendto.php on line 14 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i

1 (1%)	013+ Warning: stream_socket_sendto(): Invalid argument 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): Invalid argument 018+ in %s/stream_socket_sendto.php on line 14 019+ int(-1) 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 020- 021- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 021+ Warning: stream_socket_sendto(): Invalid argument 022+ in %s/stream_socket_sendto.php on line 15 023+ int(-1) 022- bool(%s) 023- 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 025- 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 027- 028- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 029- bool(%s)

1 (1%)	001+ Notice: fwrite(): send of 23 bytes failed with errno=76 Socket is not connected in %s/stream_socket_sendto.php on line 9 001- Notice: fwrite(): send of %i bytes failed with errno=%i Broken pipe in %s on line %i 009+ Warning: stream_socket_sendto(): Socket is not connected 009- Warning: stream_socket_sendto(): Broken pipe 013+ Warning: stream_socket_sendto(): Socket is not connected 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Hostname and service name not provided or found in %s/stream_socket_sendto.php on line 14 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019+ Warning: stream_socket_sendto(): Failed to resolve `tcp': php_network_getaddresses: getaddrinfo failed: Hostname and service name not provided or found in %s/stream_socket_sendto.php on line 14 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 024+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Hostname and service name not provided or found in %s/stream_socket_sendto.php on line 15 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 026+ Warning: stream_socket_sendto(): Failed to resolve `http': php_network_getaddresses: getaddrinfo failed: Hostname and service name not provided or found in %s/stream_socket_sendto.php on line 15 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i

1 (1%)	001+ Notice: fwrite(): send of 23 bytes failed with errno=57 Socket is not connected in %s/stream_socket_sendto.php on line 9 001- Notice: fwrite(): send of %i bytes failed with errno=%i Broken pipe in %s on line %i 009+ Warning: stream_socket_sendto(): Socket is not connected 009- Warning: stream_socket_sendto(): Broken pipe 013+ Warning: stream_socket_sendto(): Socket is not connected 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in %s/stream_socket_sendto.php on line 14 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019+ Warning: stream_socket_sendto(): Failed to resolve `tcp': php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in %s/stream_socket_sendto.php on line 14 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 024+ Warning: stream_socket_sendto(): Socket is not connected 025+ in %s/stream_socket_sendto.php on line 15 026+ int(-1) 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 025- 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 027- 028- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 029- bool(%s)

1 (1%)	001+ Notice: fwrite(): send of 23 bytes failed with errno=57 Socket is not connected in %s/stream_socket_sendto.php on line 9 001- Notice: fwrite(): send of %i bytes failed with errno=%i Broken pipe in %s on line %i 009+ Warning: stream_socket_sendto(): Socket is not connected 009- Warning: stream_socket_sendto(): Broken pipe 013+ Warning: stream_socket_sendto(): Socket is not connected 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): Can't assign requested address 018+ in %s/stream_socket_sendto.php on line 14 019+ int(-1) 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 021+ Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: hostname nor servname provided, or not known in %s/stream_socket_sendto.php on line 15 022+ 023+ Warning: stream_socket_sendto(): Failed to resolve `http': php_network_getaddresses: getaddrinfo failed: hostname nor servname provided, or not known in %s/stream_socket_sendto.php on line 15 023- 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 025- 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 027- 028- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 029- bool(%s)

1 (1%)	001+ Notice: fwrite(): send of 23 bytes failed with errno=57 Socket is not connected in %s/stream_socket_sendto.php on line 9 001- Notice: fwrite(): send of %i bytes failed with errno=%i Broken pipe in %s on line %i 009+ Warning: stream_socket_sendto(): Socket is not connected 009- Warning: stream_socket_sendto(): Broken pipe 013+ Warning: stream_socket_sendto(): Socket is not connected 013- Warning: stream_socket_sendto(): Broken pipe 017+ Warning: stream_socket_sendto(): Can't assign requested address 018+ in %s/stream_socket_sendto.php on line 14 019+ int(-1) 017- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 019- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 020- 021- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 021+ Warning: stream_socket_sendto(): Can't assign requested address 022+ in %s/stream_socket_sendto.php on line 15 023+ int(-1) 022- bool(%s) 023- 024- Warning: stream_socket_sendto(): php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 025- 026- Warning: stream_socket_sendto(): Failed to resolve %s: php_network_getaddresses: getaddrinfo failed: Name or service not known in %s on line %i 027- 028- Warning: stream_socket_sendto(): Failed to parse %s into a valid network address in %s on line %i 029- bool(%s)