diff options
Diffstat (limited to 'components/script/dom')
-rw-r--r-- | components/script/dom/webglbuffer.rs | 1 | ||||
-rw-r--r-- | components/script/dom/webglrenderbuffer.rs | 6 |
2 files changed, 6 insertions, 1 deletions
diff --git a/components/script/dom/webglbuffer.rs b/components/script/dom/webglbuffer.rs index eca72566ea4..6aa0e04dd3f 100644 --- a/components/script/dom/webglbuffer.rs +++ b/components/script/dom/webglbuffer.rs @@ -161,6 +161,5 @@ impl WebGLBuffer { impl Drop for WebGLBuffer { fn drop(&mut self) { self.mark_for_deletion(); - assert!(self.is_deleted()); } } diff --git a/components/script/dom/webglrenderbuffer.rs b/components/script/dom/webglrenderbuffer.rs index 9165284257c..edfed388c39 100644 --- a/components/script/dom/webglrenderbuffer.rs +++ b/components/script/dom/webglrenderbuffer.rs @@ -163,3 +163,9 @@ impl WebGLRenderbuffer { Ok(()) } } + +impl Drop for WebGLRenderbuffer { + fn drop(&mut self) { + self.delete(); + } +} |