Thu, 22 Jan 2015 13:21:57 +0100
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
1 var timer;
3 function handleRequest(request, response)
4 {
5 response.setHeader("Cache-Control", "no-cache", false);
6 response.setHeader("Content-Type", "text/plain", false);
7 response.write("Responded");
8 response.processAsync();
9 timer = Components.classes["@mozilla.org/timer;1"]
10 .createInstance(Components.interfaces.nsITimer);
11 timer.initWithCallback(function() {
12 response.finish();
13 // 50ms certainly be enough for one refresh driver firing to happen!
14 }, 50, Components.interfaces.nsITimer.TYPE_ONE_SHOT);
15 }