file_bug675121.sjs (493B)
1 var timer; 2 3 function handleRequest(request, response) { 4 response.setHeader("Cache-Control", "no-cache", false); 5 response.setHeader("Content-Type", "text/plain", false); 6 response.write("Responded"); 7 response.processAsync(); 8 timer = Cc["@mozilla.org/timer;1"].createInstance(Ci.nsITimer); 9 timer.initWithCallback( 10 function () { 11 response.finish(); 12 // 50ms certainly be enough for one refresh driver firing to happen! 13 }, 14 50, 15 Ci.nsITimer.TYPE_ONE_SHOT 16 ); 17 }