fix cache problem with unsaved files

2013-01-12 11:57:25 +01:00
parent d89d80733f
commit dd58afe8b2
1 changed files with 6 additions and 1 deletions
--- 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