I use curl to retrieve the contents of a url from within PHP. It works fine for most url's, but for some, it only returns an empty string ("curl"ing such url's from command line works just fine). Here's how I run curl:I use curl to retrieve the contents of a url fr