context: function dfile_disconnect(){    this.connection.disconnect();    if (this.localFile)        this.localFile.close();    this.localFile = null;    this.filestream = null;        return true;}
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/c6101b49aef97cf47069c333c0e54bcdd4a66616/dcc.js/clean/js/lib/dcc.js