rem: onStopListening: function(serverSocket, status) 
add: onStopListening: function(socket, status) 
context:   onStopListening: function(serverSocket, status)  {    dumpn(">>> shutting down server");    this._socketClosed = true;  },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/83ffd0f377352f73cd8d129e6518b12639a482e4/httpd.js/buggy/netwerk/test/httpserver/httpd.js