if (!gThreadManager) gThreadManager = Cc["@mozilla.org/thread-manager;1"].getService();  
function nsHttpServer(){  /** The port on which this server listens. */  this._port = undefined;  /** The socket associated with this. */  this._socket = null;  /** The handler used to process requests to this server. */  this._handler = new ServerHandler(this);  /**   * Indicates when the server is to be shut down at the end of the request.   */  this._doQuit = false;  /**   * True if the socket in this is closed (and closure notifications have been   * sent and processed if the socket was ever opened), false otherwise.   */  this._socketClosed = true;}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/83ffd0f377352f73cd8d129e6518b12639a482e4/httpd.js/clean/netwerk/test/httpserver/httpd.js