diff options
Diffstat (limited to 'python/helpers/pydev/_pydev_imps/_pydev_time.py')
-rw-r--r-- | python/helpers/pydev/_pydev_imps/_pydev_time.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/python/helpers/pydev/_pydev_imps/_pydev_time.py b/python/helpers/pydev/_pydev_imps/_pydev_time.py index 72705db20bdc..f53b94c0d0ad 100644 --- a/python/helpers/pydev/_pydev_imps/_pydev_time.py +++ b/python/helpers/pydev/_pydev_imps/_pydev_time.py @@ -1 +1,9 @@ from time import * + +try: + from gevent import monkey + saved = monkey.saved['time'] + for key, val in saved.items(): + globals()[key] = val +except: + pass |