download einer Datei von einem Server

[Vinzenz Mai]

Hallo,

und diese Seite sagt mir, dass ich mit einem blanken useragent nicht an die Datei komme. D.h. doch, dass ich im header meinen useragent angeben muss oder? obwohl ich ehrlich gesagt nicht verstehe, warum der nicht automatisch mitgeschickt wird.

Ändern kannst Du den user-agent zum Beispiel mit ini_set(). Die zu ändernde Einstellung heißt user_agent.

php_neuling (der übrigens nicht Ingrid ist)

Oh, das war auch nicht an Dich gerichtet. Ich hab' nur gerade das (TM) nicht gefunden. Hier wird ein Ingrid-Posting als Gunnar™-Beitrag bezeichnet, siehe z.B. </archiv/2010/4/t196934/#m1320173> :-)

Freundliche Grüße

Vinzenz