* reset the curl handle if curl_easy_reset() is available
authorMichael Wallner <mike@php.net>
Thu, 3 Mar 2005 20:22:23 +0000 (20:22 +0000)
committerMichael Wallner <mike@php.net>
Thu, 3 Mar 2005 20:22:23 +0000 (20:22 +0000)
* 0x070c02 !== 71202


No differences found