PHP file get contents with URL returns getaddrinfo failure

[simo1337]

I am trying to get the (pre-processed) content of an external PHP file:\[code\]file_get_contents('http://www.example.org/myfile.php');\[/code\]When I do this, I get an error:\[quote\] Warning: file_get_contents() [function.file-get-contents]: php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in /Applications/XAMPP/xamppfiles/htdocs/...localfile.php on line 13\[/quote\]And:\[quote\] Warning: file_get_contents(http://www.example.org/myfile.php) [function.file-get-contents]: failed to open stream: php_network_getaddresses: getaddrinfo failed: nodename nor servname provided, or not known in /Applications/XAMPP/xamppfiles/htdocs/.../localfile.php on line 13\[/quote\]Any ideas what I could do?Thanks in advance!EDIT: I do have allow_url_fopen set to "On".