curl_easy_setopt ( curl, CURLOPT_USERAGENT, "viking/0.1.3 libcurl/7.15.4" );
if (cookie_file = get_cookie_file(FALSE))
curl_easy_setopt(curl, CURLOPT_COOKIEFILE, cookie_file);
curl_easy_setopt ( curl, CURLOPT_USERAGENT, "viking/0.1.3 libcurl/7.15.4" );
if (cookie_file = get_cookie_file(FALSE))
curl_easy_setopt(curl, CURLOPT_COOKIEFILE, cookie_file);