ExKwhanDo

if( $done )
    {$host  = $_SERVER['HTTP_HOST'];
        $url ="http://$host/xmlResult/$id/";
        $result = file_get_contents($url);
        $dest = "../xml/".$id.".xml";
        file_put_contents($dest, $result);
    }