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();  otherDomainServer.stop();}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/13dd7e4db5f5d947d11c692cc50a04dd59fe30c3/server.js/buggy/testing/mochitest/server.js