aboutsummaryrefslogtreecommitdiffstats
path: root/components/script/dom/webglbuffer.rs
diff options
context:
space:
mode:
authorbors-servo <servo-ops@mozilla.com>2020-03-27 09:55:12 -0400
committerGitHub <noreply@github.com>2020-03-27 09:55:12 -0400
commita927f1ad8a9ce211618139b2a69c8ce3b739438b (patch)
tree1d0a346e63dd63a95938e80e355ce1434b442f6d /components/script/dom/webglbuffer.rs
parent16251cd8dbb3ee5d943b214aa6573d32f08bf93b (diff)
parent3a3397fbce728c79aa5edf469a1a7763c3efcbde (diff)
downloadservo-a927f1ad8a9ce211618139b2a69c8ce3b739438b.tar.gz
servo-a927f1ad8a9ce211618139b2a69c8ce3b739438b.zip
Auto merge of #25998 - jdm:vao-drop, r=nox
Avoid a panic when closing webgl pages using VAOs - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [x] These changes fix #25891 - [x] These changes do not require tests because GC behaviour at shutdown is nondeterministic and difficult to test
Diffstat (limited to 'components/script/dom/webglbuffer.rs')
-rw-r--r--components/script/dom/webglbuffer.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/components/script/dom/webglbuffer.rs b/components/script/dom/webglbuffer.rs
index d794171ad10..5ee1e7e1373 100644
--- a/components/script/dom/webglbuffer.rs
+++ b/components/script/dom/webglbuffer.rs
@@ -164,7 +164,7 @@ impl WebGLBuffer {
);
}
- pub fn decrement_attached_counter(&self) {
+ pub fn decrement_attached_counter(&self, fallible: bool) {
self.attached_counter.set(
self.attached_counter
.get()
@@ -172,7 +172,7 @@ impl WebGLBuffer {
.expect("refcount underflowed"),
);
if self.is_deleted() {
- self.delete(false);
+ self.delete(fallible);
}
}