mirror of
https://github.com/davidhalter/jedi.git
synced 2026-01-24 04:41:48 +08:00
Compare version using "!="
Cache is not forward compatible.
This commit is contained in:
@@ -279,7 +279,7 @@ class _ModulePickling(object):
|
||||
self.__index = {}
|
||||
else:
|
||||
# 0 means version is not defined (= always delete cache):
|
||||
if data.get('version', 0) < self.version:
|
||||
if data.get('version', 0) != self.version:
|
||||
self.delete_cache()
|
||||
self.__index = {}
|
||||
else:
|
||||
|
||||
Reference in New Issue
Block a user