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