I wanted to create a script that acted as a bridge between an external server and an internal server, wherein the internal server was not connected to the internet, but had information required by the users connecting to the external server. I hatched the idea to use curl to connect from the external server to the internal server (using request variables to send queries) and return everything (data and headers) returned by the file server.
After being driven mad by segmentation faults and crashes because the curl_exec didn't like me having the CURLOPT_HEADERFUNCTION's function directly dumping the header:
<?php
function Duplicate_Header($curl, $header)
{
header($header);
return strlen($header);
}
?>
... I tried (on a whim) duplicating and trimming the header and passing the duplicate to the header function...
<?php
function Duplicate_Header($curl, $header)
{
$duplicate = trim($header);
header($duplicate);
return strlen($header);
}
?>
Which worked just fine. I don't know if this is just some quirk of PHP4 or my lack of understanding of how the curl and header function works.
