nicht angemeldet
Hallo,
der folgende Befehl liefert mir beispielsweise den Inhalt eines pdf- oder rte-Dokuments:
$inhalt = file_get_contents("http://www.irgendwas.com/php/index.php?download&agt=763&db=0");
$inhalt kann ich anschließend in einer Datei speichern.
Das Problem ist nur, dass ich zwar wunderbar die Daten bekomme, aber nicht den ursprünglichen Dateinamen. Daher weiss ich nicht einmal, ob es sich um pdf oder rte oder sonstetwas handelt.
Wie kann ich den Dateinamen ermitteln?
Gunnar Bittersmann