diff options
author | Matt Fitzpatrick <1657422+mfitzpatrick@users.noreply.github.com> | 2018-06-27 01:50:20 +1000 |
---|---|---|
committer | Matt Fitzpatrick <1657422+mfitzpatrick@users.noreply.github.com> | 2018-06-27 01:50:20 +1000 |
commit | fe65fee4d3d2917a6bc5570a9be0087860da6ef4 (patch) | |
tree | f38628d302d667c4cf65d3d09e1755f92ed952e8 | |
parent | df275d351f9887fba2774e2e1aa79ff1e5a24bd1 (diff) | |
download | websocket-client-fe65fee4d3d2917a6bc5570a9be0087860da6ef4.tar.gz |
Enable multithreading with ping_interval
If the user sets ping_interval, then threading safety must be enabled
with the WebSocket object so network sends do not potentially collide.
-rw-r--r-- | websocket/_app.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/websocket/_app.py b/websocket/_app.py index ecdc916..a45447f 100644 --- a/websocket/_app.py +++ b/websocket/_app.py @@ -226,7 +226,8 @@ class WebSocketApp(object): self.sock = WebSocket( self.get_mask_key, sockopt=sockopt, sslopt=sslopt, fire_cont_frame=self.on_cont_message and True or False, - skip_utf8_validation=skip_utf8_validation) + skip_utf8_validation=skip_utf8_validation, + enable_multithread=True if ping_interval else False) self.sock.settimeout(getdefaulttimeout()) self.sock.connect( self.url, header=self.header, cookie=self.cookie, |