From da34fc235855a7379c0bba1ea5dcd62c2389dfbd Mon Sep 17 00:00:00 2001 From: David Halter Date: Tue, 8 Jan 2013 12:41:08 +0100 Subject: [PATCH] add delete option to cache deleter --- jedi/cache.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/jedi/cache.py b/jedi/cache.py index 1755bd45..45011871 100644 --- a/jedi/cache.py +++ b/jedi/cache.py @@ -9,7 +9,7 @@ time_caches = [] star_import_cache = {} -def clear_caches(): +def clear_caches(delete_all=False): """ Jedi caches many things, that should be completed after each completion finishes. """ @@ -27,6 +27,11 @@ def clear_caches(): # delete expired entries del tc[key] + if delete_all: + global time_caches + time_caches = [] + star_import_cache.clear() + def memoize_default(default=None, cache=memoize_caches): """ This is a typical memoization decorator, BUT there is one difference: