otherDomainServer.stop(); 
function serverShutdown(metadata, response){  response.setStatusLine("1.1", 200, "OK");  response.setHeader("Content-type", "text/plain");  var body = "Server shut down.";  response.bodyOutputStream.write(body, body.length);  // Note: this doesn't disrupt the current request.  server.stop();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3c3e037df3df0c235fd5fc6ba2de2b2d219b3bd5/server.js/buggy/testing/mochitest/server.js