diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-10-15 11:59:09 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-15 11:59:09 -0400 |
| commit | aa916ad20eb4ed0676cff44629a5d89343affed7 (patch) | |
| tree | 6887f50d93758b5b6d4161936825ab71c44c6375 /python/servo/bootstrap_commands.py | |
| parent | c5d6bb604d8d03d775cfc59e8bf2afdda2301e7d (diff) | |
| parent | 764f1a3724aa73755e6021aeddbba8a465b32423 (diff) | |
| download | servo-aa916ad20eb4ed0676cff44629a5d89343affed7.tar.gz servo-aa916ad20eb4ed0676cff44629a5d89343affed7.zip | |
Auto merge of #24429 - saschanaz:getpropertykeys, r=jdm
Return false when GetPropertyKeys fails
<!-- Please describe your changes on the following line: -->
As stated in https://github.com/servo/servo/pull/24377#discussion_r333844560.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because ___
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'python/servo/bootstrap_commands.py')
0 files changed, 0 insertions, 0 deletions