mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Update web-platform-tests to revision 000905d008db2538360020335bc2dbba16d322b5.
This commit is contained in:
parent
53d2432c90
commit
2d49203b9c
100 changed files with 3807 additions and 201 deletions
|
@ -46,6 +46,18 @@ class SourceFile(object):
|
|||
|
||||
self.meta_flags = self.name.split(".")[1:]
|
||||
|
||||
def __getstate__(self):
|
||||
# Remove computed properties if we pickle this class
|
||||
rv = self.__dict__.copy()
|
||||
|
||||
if "__cached_properties__" in rv:
|
||||
cached_properties = rv["__cached_properties__"]
|
||||
for key in rv.keys():
|
||||
if key in cached_properties:
|
||||
del rv[key]
|
||||
del rv["__cached_properties__"]
|
||||
return rv
|
||||
|
||||
def name_prefix(self, prefix):
|
||||
"""Check if the filename starts with a given prefix
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue