1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/content/base/test/file_bug675121.sjs Wed Dec 31 06:09:35 2014 +0100 1.3 @@ -0,0 +1,15 @@ 1.4 +var timer; 1.5 + 1.6 +function handleRequest(request, response) 1.7 +{ 1.8 + response.setHeader("Cache-Control", "no-cache", false); 1.9 + response.setHeader("Content-Type", "text/plain", false); 1.10 + response.write("Responded"); 1.11 + response.processAsync(); 1.12 + timer = Components.classes["@mozilla.org/timer;1"] 1.13 + .createInstance(Components.interfaces.nsITimer); 1.14 + timer.initWithCallback(function() { 1.15 + response.finish(); 1.16 + // 50ms certainly be enough for one refresh driver firing to happen! 1.17 + }, 50, Components.interfaces.nsITimer.TYPE_ONE_SHOT); 1.18 +}