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: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/724bc95e195c480015e16a0e7a8d5a172e15bf30/dcc.js/clean/js/lib/dcc.js