SHARE
TWEET

ExKwhanDo

a guest Feb 18th, 2010 131 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
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top