add: if (!this.connecting) { /* Make a note of the server we were on, so that the reconnect will * be able to find out what we were joined. */ this.lastServer = this.primServ; }  
context: function my_netdisconnect (e){    var msg;    var reconnect = false;        if (typeof e.disconnectStatus != "undefined")    {        switch (e.disconnectStatus)        {            case 0:                msg = getMsg(MSG_CONNECTION_CLOSED,                             [this.getURL(), e.server.getURL()]);                break;            case NS_ERROR_CONNECTION_REFUSED:                msg = getMsg(MSG_CONNECTION_REFUSED,                             [this.getURL(), e.server.getURL()]);                break;            case NS_ERROR_NET_TIMEOUT:                msg = getMsg(MSG_CONNECTION_TIMEOUT,                             [this.getURL(), e.server.getURL()]);                break;            case NS_ERROR_UNKNOWN_HOST:                msg = getMsg(MSG_UNKNOWN_HOST,                             e.server.hostname);                break;                        default:                msg = getMsg(MSG_CLOSE_STATUS,                             [this.getURL(), e.server.getURL(), e.disconnectStatus]);                reconnect = true;                break;        }        }    else    {        msg = getMsg(MSG_CONNECTION_CLOSED,                     [this.name, e.server.hostname, e.server.port]);    }        for (var v in client.viewsArray)    {        var obj = client.viewsArray[v].source;        if (obj != client)        {                    var details = getObjectDetails(obj);            if ("server" in details && details.server == e.server)                obj.displayHere (msg, "ERROR");        }    }    for (var c in this.primServ.channels)    {        var channel = this.primServ.channels[c];        client.rdf.clearTargets(channel.getGraphResource(),                                client.rdf.resChanUser);        channel.active = false;    }        this.connecting = false;    dispatch("sync-headers");    updateTitle();    if ("userClose" in client && client.userClose &&        client.getConnectionCount() == 0)        window.close();}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/56cdfb949a9608f57f041c995a8a1183a5b670f2/handlers.js/clean/extensions/irc/xul/content/handlers.js