From 28a9b1df09bbffaf47836805fd28a4e2d0af39e1 Mon Sep 17 00:00:00 2001
From: Luca Greco <luca.greco@alcacoop.it>
Date: Sat, 6 Aug 2011 19:49:16 +0200
Subject: [PATCH] FIX: workaround "loadSubScript caching problem" (Gecko 8.0),
 closes #19

---
 chrome/content/repl.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chrome/content/repl.js b/chrome/content/repl.js
index 6858e03..d03d7a8 100644
--- a/chrome/content/repl.js
+++ b/chrome/content/repl.js
@@ -920,7 +920,7 @@ function evaluate(code) {
     os.writeString(code);
     os.close();
 
-    var result = loader.loadSubScript(_.TMP_FILE_URL, this._workContext);
+    var result = loader.loadSubScript(_.TMP_FILE_URL+"?"+Math.random(), this._workContext);
 
     this.$$ = result;
     return result;