onStopListening: function(serverSocket, status) 
onStopListening: function(socket, status) 
  onStopListening: function(serverSocket, status)  {    dumpn(">>> shutting down server");    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