    if ("@mozilla.org/thread-manager;1" in Cc) { var thr = Cc["@mozilla.org/thread-manager;1"] .getService() .currentThread; while (!this._socketClosed || this._handler.hasPendingRequests()) thr.processNextEvent(true); } 
 var thr = gThreadManager.currentThread; while (!this._socketClosed || this._handler.hasPendingRequests()) thr.processNextEvent(true); 
  stop: function()  {    if (!this._socket)      return;    dumpn(">>> stopping listening on port " + this._socket.port);    this._socket.close();    this._socket = null;    this._doQuit = false;    // spin an event loop and wait for the socket-close notification, if we can;    // this is only possible in Mozilla 1.9 code, but in situations where    // nothing really horrible happens at shutdown, nothing bad will happen in    // Mozilla 1.8-based code (and we want to support that)    if ("@mozilla.org/thread-manager;1" in Cc)    {      var thr = Cc["@mozilla.org/thread-manager;1"]                  .getService()                  .currentThread;      while (!this._socketClosed || this._handler.hasPendingRequests())        thr.processNextEvent(true);    }  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/83ffd0f377352f73cd8d129e6518b12639a482e4/httpd.js/clean/netwerk/test/httpserver/httpd.js