Auto merge of #22961 - servo:jdm-patch-19, r=jdm

Force a pickling protocol that will accept certain awkward classes.

This cherry-picks the important part of https://github.com/web-platform-tests/wpt/pull/15611 to unbreak the nightly WPT sync.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22961)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2019-03-03 16:09:36 -05:00 committed by GitHub
commit b1c2d58a32
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -683466,7 +683466,7 @@
"support"
],
"tools/wptrunner/wptrunner/update/state.py": [
"dc459da7e2e5a6b5dfd088b711e4fa9c7d693af9",
"3a97618effdbf13c22ac422a6f5e4bbae65643bd",
"support"
],
"tools/wptrunner/wptrunner/update/sync.py": [

View file

@ -69,7 +69,7 @@ class State(object):
def save(self):
"""Write the state to disk"""
with open(self.filename, "w") as f:
pickle.dump(self, f)
pickle.dump(self, f, 2)
def is_empty(self):
return len(self._data) == 1 and self._data[0] == {}