开发者工具为最新的稳定版本，已开启安全模式，调试基础库版本为2.10.3， Python v3.7.0，miniun v0.0.3

1. 打开测试小程序

2.运行如下测试代码时，一直提示超时：Exception: connect to server timeout: ws://localhost:9420, thread:True

import minium

mini = minium.Minium()
mini.connect_dev_tool()
system_info = mini.get_system_info()
print(system_info)

我按照FAQ页面设置了代理，仍然不行，请问怎么解决？

http://txp-01.tencent.com/proxy.pac

web-proxy.tencent.com 8080

请问怎么该怎么解决？