Guest User

ExKwhanDo

a guest
Feb 18th, 2010
163
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. if( $done )
  2.     {$host  = $_SERVER['HTTP_HOST'];
  3.         $url ="http://$host/xmlResult/$id/";
  4.         $result = file_get_contents($url);
  5.         $dest = "../xml/".$id.".xml";
  6.         file_put_contents($dest, $result);
  7.     }
RAW Paste Data