1 files changed, 4 insertions, 2 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index c78229af..158e574d 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -59,10 +59,12 @@ function addNode(node) {
 function runScripts(node) {
   var savedScript = thisScript;
 
-  var scripts = node.getElementsByTagName("script");
+  var scripts = node.getElementsByTagName("script"), scriptsCopy = {};
   var len = scripts.length;
+  for (var i = 0; i < len; ++i)
+    scriptsCopy[i] = scripts[i];
   for (var i = 0; i < len; ++i) {
-    thisScript = scripts[i];
+    thisScript = scriptsCopy[i];
     eval(thisScript.textContent);
   }