dom/base/test/file_bug675121.sjs

   1 var timer;
   2
   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 }