mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-08 06:44:46 +08:00
A missing docstring.
This commit is contained in:
committed by
Dave Halter
parent
68a7365a0a
commit
bb8fe0b24c
@@ -113,6 +113,11 @@ class ParserPickling(object):
|
||||
"""
|
||||
|
||||
def load_parser(self, path, original_changed_time):
|
||||
"""
|
||||
Try to load the parser for `path`, unless `original_changed_time` is
|
||||
greater than the original pickling time. In which case the pickled
|
||||
parser is not up to date.
|
||||
"""
|
||||
try:
|
||||
pickle_changed_time = self._index[path]
|
||||
except KeyError:
|
||||
|
||||
Reference in New Issue
Block a user