[tor-bugs] #2106 [Tor Client]: Controller can't unset httpsproxy if it doesn't resolve

[Tor Bug Tracker & Wiki]

#2106: Controller can't unset httpsproxy if it doesn't resolve
------------------------+---------------------------------------------------
 Reporter:  arma        |          Owner:                    
     Type:  defect      |         Status:  new               
 Priority:  major       |      Milestone:  Tor: 0.2.3.x-final
Component:  Tor Client  |        Version:                    
 Keywords:              |         Parent:                    
   Points:              |   Actualpoints:                    
------------------------+---------------------------------------------------

Comment(by nickm):

 So, the simplest option here would probably be to do name lookup later
 when we're about to connect to the httpsproxy.  Or, instead of calling the
 configuration unusable, treat it as having configured a magic https proxy
 that always fails.

 Either way, these are feeling pretty big; unless somebody comes up with a
 simple isolated fix, it might be better off talking about design now and
 doing a well considered fix in 0.2.4.x

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