diff -r 000000000000 -r 6474c204b198 content/base/test/file_bug675121.sjs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/content/base/test/file_bug675121.sjs Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,15 @@ +var timer; + +function handleRequest(request, response) +{ + response.setHeader("Cache-Control", "no-cache", false); + response.setHeader("Content-Type", "text/plain", false); + response.write("Responded"); + response.processAsync(); + timer = Components.classes["@mozilla.org/timer;1"] + .createInstance(Components.interfaces.nsITimer); + timer.initWithCallback(function() { + response.finish(); + // 50ms certainly be enough for one refresh driver firing to happen! + }, 50, Components.interfaces.nsITimer.TYPE_ONE_SHOT); +}