diff options
Diffstat (limited to 'python/helpers/pydev/_pydev_imps/_pydev_thread.py')
| -rw-r--r-- | python/helpers/pydev/_pydev_imps/_pydev_thread.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/python/helpers/pydev/_pydev_imps/_pydev_thread.py b/python/helpers/pydev/_pydev_imps/_pydev_thread.py index 4d2fd5d8cf91..7b46c8ed3f05 100644 --- a/python/helpers/pydev/_pydev_imps/_pydev_thread.py +++ b/python/helpers/pydev/_pydev_imps/_pydev_thread.py @@ -2,3 +2,11 @@ try: from thread import * except: from _thread import * #Py3k + +try: + from gevent import monkey + saved = monkey.saved['thread'] + for key, val in saved.items(): + globals()[key] = val +except: + pass |