diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-26 16:43:57 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-26 16:43:57 -0500 |
commit | 42003a921b35edcc7c6a642b8d525821a836e9b6 (patch) | |
tree | df4d8d9d662e49a2babbbdc4e66e65a7b07845b8 /components/script/dom/bindings/utils.rs | |
parent | a922c497fade0250123b86d7535838c9a8d3b0af (diff) | |
parent | 9d8b15f1bf4a045a6eaddaab88384eb4b2c0841d (diff) | |
download | servo-42003a921b35edcc7c6a642b8d525821a836e9b6.tar.gz servo-42003a921b35edcc7c6a642b8d525821a836e9b6.zip |
Auto merge of #24859 - jdm:surfman-fallible, r=Manishearth
Don't panic if surfman initialization fails.
Since WebGL is only one component of the web platform, there's no reason that failing to initialize surfman for webgl support should take down the entire browser.
---
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #24642 (in that the browser will now start up) and fix #24627
- [x] These changes do not require tests because tests for graphics acceleration? don't make me laugh.
Diffstat (limited to 'components/script/dom/bindings/utils.rs')
0 files changed, 0 insertions, 0 deletions