[tor-bugs] #7537 [Torbutton]: DNS cache is not cleared while switching to SOCKS proxy

[Tor Bug Tracker & Wiki]

#7537: DNS cache is not cleared while switching to SOCKS proxy
-----------------------+----------------------------------------------------
 Reporter:  Aymeric    |          Owner:     
     Type:  defect     |         Status:  new
 Priority:  normal     |      Milestone:     
Component:  Torbutton  |        Version:     
 Keywords:             |         Parent:     
   Points:             |   Actualpoints:     
-----------------------+----------------------------------------------------
 See https://bugzilla.mozilla.org/show_bug.cgi?id=802065

 Probably minor for Tor but maybe still interesting to know.

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/7537>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online