X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-http;a=blobdiff_plain;f=gen_curlinfo.php;h=0e8dfa1272da5553a3c6267e0c594dee6d991767;hp=fea14bbfb9aeed7cbbb8a789b7ec8ee495f11702;hb=791511f3bc18cdc68b3f27b43d9396cf56d99e5a;hpb=628bdcb6edd65cb683b43af16cd0ce619b56d58a diff --git a/gen_curlinfo.php b/gen_curlinfo.php old mode 100644 new mode 100755 index fea14bb..0e8dfa1 --- a/gen_curlinfo.php +++ b/gen_curlinfo.php @@ -40,7 +40,7 @@ $ifdefs = array( 'LOCAL_IP' => 'PHP_HTTP_CURL_VERSION(7,21,0)', ); $exclude = array( - 'PRIVATE', 'LASTSOCKET', 'FTP_ENTRY_PATH', 'CERTINFO', + 'PRIVATE', 'LASTSOCKET', 'FTP_ENTRY_PATH', 'CERTINFO', 'TLS_SESSION', 'RTSP_SESSION_ID', 'RTSP_CLIENT_CSEQ', 'RTSP_SERVER_CSEQ', 'RTSP_CSEQ_RECV' ); @@ -91,8 +91,8 @@ foreach ($infos as $info) { if (isset($ifdefs[$short])) printf("#endif\n"); } -file_put_contents("php_http_curl_client.c", +file_put_contents("php_http_client_curl.c", preg_replace('/(\/\* BEGIN::CURLINFO \*\/\n).*(\n\s*\/\* END::CURLINFO \*\/)/s', '$1'. ob_get_contents() .'$2', - file_get_contents("php_http_curl_client.c"))); + file_get_contents("php_http_client_curl.c"))); ?>