blob: 29fef155dff274753c36ce57de72d87810b72cee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
);
}
|