希望能解决的问题
目前 websockets 官方不支持 proxy python-websockets/websockets#364
这导致 adapter-discord 在需要 proxy 的时候不能正常工作 (还有其他适配器可能需要通过代理连接ws吗?)
描述所需要的功能
但是有一些社区实现可以让 websockets 支持 proxy
比如:racinette/websockets_proxy
我们是否可以在 NoneBot 内部使用/重新实现 这些补丁让 websockets 支持 proxy
P.S. 如果认为使用补丁不好的话,是否至少应该抛出警告,告知用户设置了无用的 proxy?
希望能解决的问题
目前
websockets官方不支持proxypython-websockets/websockets#364这导致
adapter-discord在需要proxy的时候不能正常工作 (还有其他适配器可能需要通过代理连接ws吗?)描述所需要的功能
但是有一些社区实现可以让
websockets支持proxy比如:racinette/websockets_proxy
我们是否可以在
NoneBot内部使用/重新实现 这些补丁让websockets支持proxyP.S. 如果认为使用补丁不好的话,是否至少应该抛出警告,告知用户设置了无用的
proxy?