[Webkit-unassigned] [Bug 106171] New: session cookie can't delete with curl

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=106171

           Summary: session cookie can't delete with curl
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: PC
               URL: http://myy__711@163.com
        OS/Version: Windows 7
            Status: UNCONFIRMED
          Severity: Normal
          Priority: P2
         Component: Platform
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: myy__711 at 163.com


Hello, When I run webkit with curl library, I find that I can't delete session cookie, because the curl use the micro CURLOPT_COOKIESESSION indicating the new session.And only if the new session is open, the old session's cookie read in the file is invalid. And I add the below code in the file platform\network\curl\ResourceHandleManager.cpp about the lines 700 like this:

if (m_cookieJarFileName) {
    curl_easy_setopt(d->m_handle, CURLOPT_COOKIEFILE, m_cookieJarFileName);
    curl_easy_setopt(d->m_handle, CURLOPT_COOKIEJAR, m_cookieJarFileName);

    // the code I add
    curl_easy_setopt(d->m_handle, CURLOPT_COOKIESESSION, TRUE);
}

And then it run well. But I can't determine.Would you answer me the solution is correct?

Thanks.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.