[Public WebGL] Context lost and freeing resources

[Tom Payne <tom.payne@camptocamp.com>]

Hi,

This is a really stupid question, but I can't find the answer in the
wiki [1] or elsewhere.

When a WebGL context is lost, should I bother freeing the resources
that I've allocated? I strongly suspect that the answer is no, but I
just want to check.

As I see it, there are three possible answers:
1. Don't do it, calling gl.delete{Texture|Program|...} with a lost
context is bad.
2. There's no need to do it, calling gl.delete{Texture|Program|...}
with a lost context has no negative effect other than wasting time.
3. You should still free your resources.

I expect the answer is #2, but please confirm.

Many thanks!
Tom

[1] http://www.khronos.org/webgl/wiki/HandlingContextLost
-- 
Camptocamp SA
Tom PAYNE
PSE A
CH-1015 Lausanne

+41 21 619 10 13 (direct)
+41 21 619 10 10 (centrale)
+41 21 619 10 00 (fax)

-----------------------------------------------------------
You are currently subscribed to public_webgl@khronos.org.
To unsubscribe, send an email to majordomo@khronos.org with
the following command in the body of your email:
unsubscribe public_webgl
-----------------------------------------------------------