silently ignore invalid textures in glDeleteTextures, per the spec

1 files changed, 1 insertions, 0 deletions

diff --git a/src/library_gl.js b/src/library_gl.js
index 467470bc..e67ec29b 100644
--- a/src/library_gl.js
+++ b/src/library_gl.js
@@ -833,6 +833,7 @@ var LibraryGL = {
     for (var i = 0; i < n; i++) {
       var id = {{{ makeGetValue('textures', 'i*4', 'i32') }}};
       var texture = GL.textures[id];
+      if (!texture) continue;
       GLctx.deleteTexture(texture);
       texture.name = 0;
       GL.textures[id] = null;