fix proxy issues: override config with command line option, and use interface.proxy...
authorthomasv <thomasv@gitorious>
Tue, 9 Oct 2012 13:48:06 +0000 (15:48 +0200)
committerthomasv <thomasv@gitorious>
Tue, 9 Oct 2012 13:48:06 +0000 (15:48 +0200)
commitfd13d19cb86eded4e386ea127a76c9736c150219
treeb5ce0c2a41c63fb6d22cd200832c99765dd157a7
parent6bf18d8607f78f02be63eebffcfada50248f3e97
fix proxy issues: override config with command line option, and use interface.proxy in gui
electrum
lib/gui_qt.py
lib/simple_config.py