|
1 var timer = null; // Declare outside to prevent premature GC |
|
2 |
|
3 function handleRequest(request, response) |
|
4 { |
|
5 response.setHeader("Cache-Control", "no-cache", false); |
|
6 response.setHeader("Content-Type", "text/javascript", false); |
|
7 response.write("var i = 0;"); |
|
8 response.bodyOutputStream.flush(); |
|
9 response.processAsync(); |
|
10 timer = Components.classes["@mozilla.org/timer;1"] |
|
11 .createInstance(Components.interfaces.nsITimer); |
|
12 timer.initWithCallback(function() { |
|
13 response.finish(); |
|
14 }, 500, Components.interfaces.nsITimer.TYPE_ONE_SHOT); |
|
15 } |
|
16 |