file() funktioniert nicht

[Sven Rautenberg]

Moin!

ich möchte mit der Funktion file() über http auf einen File zugreifen
$datei = file("http://www.badenpage.de/gengenbach/rebstock/start_rebstock.html");

Leider bekomme ich immer folgende Fehlermeldung:

Warning: file(): php_network_getaddresses: gethostbyname failed in E:\inetpub\wwwroot\permanent\ticker\montag3.php on line 20

Übersetzung "Konnte den Namen des Hosts www.badenpage.de nicht in eine IP auflösen".

Alles andere sind Folgefehler.

Nutze ich file() zum Aufruf einer Datei über http auf unserem internen Server, funktioniert das problemlos?

An was kann das liegen?

Offenbar ist euer internes Netz oder der fragliche Server zumindest temporär nicht in der Lage, ordentliche DNS-Namensauflösung zu machen.

Korrigiere das, und es sollte gehen.

- Sven Rautenberg