code: def set_proxy(url, basic_auth=None):
      
      global _pools, _onetime_pool_spec
      if not url:
          _pools['default'] = urllib3.PoolManager(**_default_pool_params)
          _onetime_pool_spec = (urllib3.PoolManager, _onetime_pool_params)
      elif basic_auth:
          h = urllib3.make_headers(proxy_basic_auth=':'.join(basic_auth))
          _pools['default'] = urllib3.ProxyManager(url, proxy_headers=h, **_default_pool_params)
          _onetime_pool_spec = (urllib3.ProxyManager, dict(proxy_url=url, proxy_headers=h, **_onetime_pool_params))
      else:
          _pools['default'] = urllib3.ProxyManager(url, **_default_pool_params)
          _onetime_pool_spec = (urllib3.ProxyManager, dict(proxy_url=url, **_onetime_pool_params))
docs: Access Bot API through a proxy.
  
      :param url: proxy URL
      :param basic_auth: 2-tuple ``('username', 'password')``