diff options
author | liris <liris.pp@gmail.com> | 2019-12-25 21:35:46 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-25 21:35:46 +0900 |
commit | 10fc21bd13c05854f16b8d6ab0723ab718089cae (patch) | |
tree | 564798253eda5d9ef42fcb6895dfef511d4d9d96 | |
parent | 2222f2c49d71afd74fcda486e3dfd14399e647af (diff) | |
parent | ef823096c8e8f7e28d59d8891998a4b5267025cc (diff) | |
download | websocket-client-10fc21bd13c05854f16b8d6ab0723ab718089cae.tar.gz |
Merge pull request #539 from jpshivakavi/master
v should be checked for emptry string before splitting it
-rw-r--r-- | websocket/_url.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/websocket/_url.py b/websocket/_url.py index ae46d6c..a394fc3 100644 --- a/websocket/_url.py +++ b/websocket/_url.py @@ -103,7 +103,8 @@ def _is_address_in_network(ip, net): def _is_no_proxy_host(hostname, no_proxy): if not no_proxy: v = os.environ.get("no_proxy", "").replace(" ", "") - no_proxy = v.split(",") + if v: + no_proxy = v.split(",") if not no_proxy: no_proxy = DEFAULT_NO_PROXY_HOST |