context: function dccstate_socketDisconnected(){    if (this.state != DCC_STATE_CONNECTED)        throw "Not CONNECTED!";        this.state = DCC_STATE_DONE;        this.eventPump.addEvent(new CEvent(this.eventType, "disconnect", this.owner, "onDisconnect"));}
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/c6101b49aef97cf47069c333c0e54bcdd4a66616/dcc.js/clean/js/lib/dcc.js