x3dom/x3dom — pull request #195 by hlvoorhees (2013-06-20 17:57:59+00:00)
Title: Fixed crash in Cache.release().

This caused a TYPE_ERROR when calling x3dom.reload() because
gl.deleteShader was being called on something other than a WebGLShader.
Our fix was to remove the program associated with each shader and
the GLShaders associated with each program.