add: if (item.getAttribute("servernotify")) { EchoDomPropertyStore.setPropertyValue(elementId, "serverNotify", item.getAttribute("servernotify")); } 
context: EchoButton.MessageProcessor.processInit = function(initMessageElement) {    var defaultStyle = initMessageElement.getAttribute("defaultstyle");    var rolloverStyle = initMessageElement.getAttribute("rolloverstyle");    var pressedStyle = initMessageElement.getAttribute("pressedstyle");    for (var item = initMessageElement.firstChild; item; item = item.nextSibling) {        var elementId = item.getAttribute("eid");                if (defaultStyle) {            EchoDomPropertyStore.setPropertyValue(elementId, "defaultStyle", defaultStyle);        }        if (rolloverStyle) {            EchoDomPropertyStore.setPropertyValue(elementId, "rolloverStyle", rolloverStyle);        }        if (pressedStyle) {            EchoDomPropertyStore.setPropertyValue(elementId, "pressedStyle", pressedStyle);        }                if (item.getAttribute("defaulticon")) {            EchoDomPropertyStore.setPropertyValue(elementId, "defaultIcon", item.getAttribute("defaulticon"));        }        if (item.getAttribute("rollovericon")) {            EchoDomPropertyStore.setPropertyValue(elementId, "rolloverIcon", item.getAttribute("rollovericon"));        }        if (item.getAttribute("pressedicon")) {            EchoDomPropertyStore.setPropertyValue(elementId, "pressedIcon", item.getAttribute("pressedicon"));        }                if (item.getAttribute("toggle") == "true") {            // ToggleButton            EchoDomPropertyStore.setPropertyValue(elementId, "toggle", "true");            EchoDomPropertyStore.setPropertyValue(elementId, "selected", item.getAttribute("selected"));            EchoDomPropertyStore.setPropertyValue(elementId, "stateIcon", item.getAttribute("stateicon"));            EchoDomPropertyStore.setPropertyValue(elementId, "selectedStateIcon", item.getAttribute("selectedstateicon"));            if (item.getAttribute("group")) {                EchoButton.setButtonGroup(elementId, item.getAttribute("group"));            }        }        EchoEventProcessor.addHandler(elementId, "click", "EchoButton.processClick");        EchoEventProcessor.addHandler(elementId, "keypress", "EchoButton.processKeyPressed");        EchoEventProcessor.addHandler(elementId, "mousedown", "EchoButton.processPressed");	    EchoEventProcessor.addHandler(elementId, "mouseout", "EchoButton.processRolloverExit");        EchoEventProcessor.addHandler(elementId, "mouseover", "EchoButton.processRolloverEnter");	    EchoEventProcessor.addHandler(elementId, "mouseup", "EchoButton.processReleased");    }};
meta: 498	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/498/0f97d0d08e3caf355b34019b1e3bcbb5901fc786/Button.js/clean/src/webcontainer/java/nextapp/echo2/webcontainer/resource/js/Button.js