<?php $server = stream_socket_server("tcp://[::1]:1337/"); var_dump(stream_socket_get_name($server, false));
You have javascript disabled. You will not be able to edit any code.