From bb8fe0b24ce33ff6b5597bc784b4c36fa71db8f0 Mon Sep 17 00:00:00 2001 From: Matthias Bussonnier Date: Mon, 13 Mar 2017 19:49:03 -0700 Subject: [PATCH] A missing docstring. --- jedi/parser/utils.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/jedi/parser/utils.py b/jedi/parser/utils.py index d929a633..3cf318bc 100644 --- a/jedi/parser/utils.py +++ b/jedi/parser/utils.py @@ -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: