diff options
author | Tor Norbye <tnorbye@google.com> | 2014-09-04 13:24:04 -0700 |
---|---|---|
committer | Tor Norbye <tnorbye@google.com> | 2014-09-04 13:24:04 -0700 |
commit | c3d3a90f6b4ead083d63e28e6b9fcea93d675678 (patch) | |
tree | fc0dcd722b6d445468dbe7dad13b4c11781b1cbe /python/helpers/pydev/_pydev_imps/_pydev_time.py | |
parent | 1aa2e09bdbd413eacb677e9fa4b50630530d0656 (diff) | |
download | idea-c3d3a90f6b4ead083d63e28e6b9fcea93d675678.tar.gz |
Snapshot idea/138.1980 from git://git.jetbrains.org/idea/community.git
Change-Id: Ib567c9c152d770212a7a3db20fbf591c210920bd
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 |