Starting PHP built-in web server, serving https://undefined/examples/extras/simulator/index.html.
[Thu Jan 15 02:09:09 2015] PHP Warning:  Unknown: php_network_getaddresses: getaddrinfo failed: Name or service not known in Unknown on line 0
[Thu Jan 15 02:09:09 2015] Failed to listen on :3000 (reason: php_network_getaddresses: getaddrinfo failed: Name or service not known)