rem:  if (this.connection) this.connection.close(); 
add: this.dispose(); 
context: function dfile_abort(){    if (this.state.state == DCC_STATE_CONNECTED)    {        this.disconnect();        return;    }    this.state.sendAbort();    if (this.connection)        this.connection.close();}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/b38949a7c348bedbbb67e00f264ab4dfd95fa0e9/dcc.js/buggy/js/lib/dcc.js