would you consider extending the support to the proxy-enabled REST client? Since "requests.request()" have already the mechanism to handle proxies, I believe the implementation is straightforward. I have actually extended the client.py and grobid_client.py to handle proxies. I am testing the changes at the moment. If everything works as expected, I would be happy to share the the updated python code.
Dear team,
would you consider extending the support to the proxy-enabled REST client? Since "requests.request()" have already the mechanism to handle proxies, I believe the implementation is straightforward. I have actually extended the client.py and grobid_client.py to handle proxies. I am testing the changes at the moment. If everything works as expected, I would be happy to share the the updated python code.
Regards, Vipul