rem: this.disconnect(); 
add: this.connection.disconnect(); 
context: function ident_listener_rawdata(e){    var ports = e.line.match(/(\d+) *, *(\d+)/);    // <port-on-server> , <port-on-client>    // (where "server" is the ident server)    if (!ports)    {        this.disconnect(); // same meaning as "ERROR : UNKNOWN-ERROR"        return;    }    e.type = "parsedrequest";    e.destObject = this;    e.destMethod = "onParsedRequest";    e.localPort = ports[1];    e.remotePort = ports[2];}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/f9ba906cf3bc1cd8d5e1b2fd6b5a3f6a22424470/ident.js/clean/js/lib/ident.js