diff options
author | Drummond Ogilvie <drum.ogilvie@ovo.com> | 2022-10-20 10:16:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-20 11:16:34 +0200 |
commit | 015f3403385896f70ba946e10ad8354f1a59a967 (patch) | |
tree | 2c84d9c90f3911fca7da69cb4269a60478cbb2cc /script | |
parent | e8ba3eb002b533e6640d6eeb25a66bab04602951 (diff) | |
download | pylint-git-015f3403385896f70ba946e10ad8354f1a59a967.tar.gz |
Swap plugin cache to pickle-able values when done (#7640)
When the dictionary has served its purpose (making plugin loading
pre-and-post init a consistent behaviour), we swap it for bools
indicating whether or not a module was loaded.
We don't currently use the bools, but it seemed a sensible choice.
The main idea is to make the dictionary fully pickle-able, so that when
dill pickles the linter for multiprocessing, it doesn't crash horribly.
Co-authored-by: Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com>
Co-authored-by: Marc Mueller <30130371+cdce8p@users.noreply.github.com>
Diffstat (limited to 'script')
-rw-r--r-- | script/.contributors_aliases.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/.contributors_aliases.json b/script/.contributors_aliases.json index 95808f651..ebd0aa76c 100644 --- a/script/.contributors_aliases.json +++ b/script/.contributors_aliases.json @@ -438,7 +438,7 @@ }, "me@daogilvie.com": { "mails": ["me@daogilvie.com", "drum.ogilvie@ovo.com"], - "name": "Drummond Ogilvie" + "name": "Drum Ogilvie" }, "me@the-compiler.org": { "mails": [ |