Bug fixes on tor_manager
	modified:   framework/http/proxy/tor_manager.py