diff options
Diffstat (limited to 'python/helpers/pydev/_pydev_imps/_pydev_socket.py')
-rw-r--r-- | python/helpers/pydev/_pydev_imps/_pydev_socket.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/python/helpers/pydev/_pydev_imps/_pydev_socket.py b/python/helpers/pydev/_pydev_imps/_pydev_socket.py index 9e96e800876c..3d74e3b54ab4 100644 --- a/python/helpers/pydev/_pydev_imps/_pydev_socket.py +++ b/python/helpers/pydev/_pydev_imps/_pydev_socket.py @@ -1 +1,9 @@ -from socket import *
\ No newline at end of file +from socket import * + +try: + from gevent import monkey + saved = monkey.saved['socket'] + for key, val in saved.items(): + globals()[key] = val +except: + pass
\ No newline at end of file |