/hphp/test/zend/bad/ext/sockets/tests/socket_import_stream-4.php

http://github.com/facebook/hiphop-php · PHP · 49 lines · 42 code · 7 blank · 0 comment · 2 complexity · 4a5eeb2106aa9f373260264612ac01bc MD5 · raw file

  1. <?php
  2. function test($stream, $sock) {
  3. if ($stream !== null) {
  4. echo "stream_set_blocking ";
  5. print_r(stream_set_blocking($stream, 0));
  6. echo "\n";
  7. }
  8. if ($sock !== null) {
  9. echo "socket_set_block ";
  10. print_r(socket_set_block($sock));
  11. echo "\n";
  12. echo "socket_get_option ";
  13. print_r(socket_get_option($sock, SOL_SOCKET, SO_TYPE));
  14. echo "\n";
  15. }
  16. echo "\n";
  17. }
  18. echo "normal\n";
  19. $stream0 = stream_socket_server("udp://0.0.0.0:58380", $errno, $errstr, STREAM_SERVER_BIND);
  20. $sock0 = socket_import_stream($stream0);
  21. test($stream0, $sock0);
  22. echo "\nunset stream\n";
  23. $stream1 = stream_socket_server("udp://0.0.0.0:58381", $errno, $errstr, STREAM_SERVER_BIND);
  24. $sock1 = socket_import_stream($stream1);
  25. unset($stream1);
  26. test(null, $sock1);
  27. echo "\nunset socket\n";
  28. $stream2 = stream_socket_server("udp://0.0.0.0:58382", $errno, $errstr, STREAM_SERVER_BIND);
  29. $sock2 = socket_import_stream($stream2);
  30. unset($sock2);
  31. test($stream2, null);
  32. echo "\nclose stream\n";
  33. $stream3 = stream_socket_server("udp://0.0.0.0:58383", $errno, $errstr, STREAM_SERVER_BIND);
  34. $sock3 = socket_import_stream($stream3);
  35. fclose($stream3);
  36. test($stream3, $sock3);
  37. echo "\nclose socket\n";
  38. $stream4 = stream_socket_server("udp://0.0.0.0:58384", $errno, $errstr, STREAM_SERVER_BIND);
  39. $sock4 = socket_import_stream($stream4);
  40. socket_close($sock4);
  41. test($stream4, $sock4);
  42. echo "Done.\n";