1--TEST--
2socket_export_stream: Bad arguments
3--EXTENSIONS--
4sockets
5--FILE--
6<?php
7
8try {
9    socket_export_stream(fopen(__FILE__, "rb"));
10} catch (TypeError $e) {
11    echo $e->getMessage(), "\n";
12}
13try {
14    socket_export_stream(stream_socket_server("udp://127.0.0.1:0", $errno, $errstr, STREAM_SERVER_BIND));
15} catch (TypeError $e) {
16    echo $e->getMessage(), "\n";
17}
18$s = socket_create(AF_INET, SOCK_DGRAM, SOL_UDP);
19var_dump($s);
20socket_close($s);
21
22try {
23    var_dump(socket_export_stream($s));
24} catch (Error $e) {
25    echo $e->getMessage(), "\n";
26}
27
28echo "Done.";
29?>
30--EXPECTF--
31socket_export_stream(): Argument #1 ($socket) must be of type Socket, resource given
32socket_export_stream(): Argument #1 ($socket) must be of type Socket, resource given
33object(Socket)#%d (0) {
34}
35socket_export_stream(): Argument #1 ($socket) has already been closed
36Done.
37