In further experimentation, the system works with CURL directly when I do this:
curl -c cookies.txt [url]http://login_url...[/url]
curl -b cookies.txt [url]http://another_url...[/url]
Yet doesn't seem to work like this:
$ch = curl_init("http://login_url...");
curl_setopt($ch, CURLOPT_COOKIEJAR, "cookies.txt");
$result = curl_exec($ch);
$ch = curl_init("http://another_url..");
curl_setopt($ch, CURLOPT_COOKIEFILE, "cookies.txt");
$result = curl_exec ($ch);
But all the documentation implies that this is a direct parallel.
Any hints welcomed.