Fix bug in jsonld.js which broke the playground in IE10
authorMarkus Lanthaler <mark_lanthaler@gmx.net>
Fri, 03 May 2013 11:39:56 +0200
changeset 1615 464ba6fcea77
parent 1614 60076b8801e7
child 1616 ee8106ba8116
Fix bug in jsonld.js which broke the playground in IE10

This closes #243.
playground/jsonld.js
--- a/playground/jsonld.js	Fri May 03 11:17:50 2013 +0200
+++ b/playground/jsonld.js	Fri May 03 11:39:56 2013 +0200
@@ -894,7 +894,9 @@
 if(typeof process === 'undefined' || !process.nextTick) {
   if(typeof setImmediate === 'function') {
     jsonld.setImmediate = setImmediate;
-    jsonld.nextTick = setImmediate;
+    jsonld.nextTick = function (callback) {
+      return window.setImmediate(callback);
+    };
   }
   else {
     jsonld.setImmediate = function(callback) {