exec('wget..) xml, filenamen ändern

[ChrisB]

Hi,

wir haben eine HTTP Resource, die XML ausgibt. die hole ich mir mit
$wg = exec('wget -q -c -b $resource',$out);

Das abholen klappt wurderbar, es wird das XML in einem File gespeichert, welches aber den Namen der aufrufenden Resource hat, sprich den Querystring. Auch die endung .xml fehlt.

Nun will ich das XML mit dem "PEAR XML Unserializer" zerlegen und verwursten. Auch das klappt wuderbar, solange man ein XML File hat mit einem diskreten Filename, zB.  file.xml. hab ich aber nicht, was mache ich da?

Die Parameter von wget anschauen, um den Namen, unter dem abgespeichert wird, vorzugeben ...?

MfG ChrisB