1 files changed, 15 insertions, 2 deletions
diff --git a/src/webGLWorker.js b/src/webGLWorker.js
index 2a8e47ff..4a2f7bbb 100644
--- a/src/webGLWorker.js
+++ b/src/webGLWorker.js
@@ -6,6 +6,7 @@ function WebGLWorker() {
   //=======
 
   this.prefetchedParameters = {};
+  this.prefetchedExtensions = {};
 
   //===========
   // Constants
@@ -441,8 +442,9 @@ function WebGLWorker() {
   this.onmessage = function(msg) {
     dump('worker GL got ' + JSON.stringify(msg) + '\n');
     switch(msg.op) {
-      case 'setPrefetchedParameters': {
-        that.prefetchedParameters = msg.data;
+      case 'setPrefetched': {
+        that.prefetchedParameters = msg.parameters;
+        that.prefetchedExtensions = msg.extensions;
         break;
       }
       default: throw 'weird gl onmessage ' + JSON.stringify(msg);
@@ -462,5 +464,16 @@ function WebGLWorker() {
     if (name in this.prefetchedParameters) return this.prefetchedParameters[name];
     throw 'TODO: get parameter ' + name + ' : ' + revname(name);
   };
+
+  this.getExtension = function(name) {
+    dump('worker getExtension ' + JSON.stringify(this.prefetchedExtensions) + '\n');
+    var i = this.prefetchedExtensions.indexOf(name);
+    if (i < 0) return null;
+    return true; // TODO: return an object here
+  };
+
+  this.getSupportedExtensions = function() {
+    return this.prefetchedExtensions;
+  };
 }