From dd58afe8b276f6d65f3ada249c60db20a5f1ec2e Mon Sep 17 00:00:00 2001 From: David Halter Date: Sat, 12 Jan 2013 11:57:25 +0100 Subject: [PATCH] fix cache problem with unsaved files --- jedi/cache.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/jedi/cache.py b/jedi/cache.py index 77925297..8f40c4a0 100644 --- a/jedi/cache.py +++ b/jedi/cache.py @@ -182,7 +182,12 @@ def load_module(path, name): def save_module(path, name, parser, pickling=True): - p_time = None if not path else os.path.getmtime(path) + try: + p_time = None if not path else os.path.getmtime(path) + except OSError: + p_time = None + pickling = False + n = name if path is None else path item = ParserCacheItem(parser, p_time) parser_cache[n] = item