Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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);
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement