// $Source: //server2/design/archive/rcs/ethdigi.arc/webmux_js.txt,v $ --> function menuSwitch(a) { if (document.getElementById("expander"+a).style.display=="none") { document.getElementById("expander"+a).style.display="block"; }else { document.getElementById("expander"+a).style.display="none"; } } function pageSwitch(b) { parent.mainframe.document.location.href=b; } function pageRef(c) { parent.location.href=c; } function menuRefresh() { parent.menuframe.document.location.href = "menu2.html"; parent.menuframe.document.location.href = "menu.html"; } function confirmDelete() { var agree=confirm("Are you sure you wish to delete this user?"); if (agree) return true ; else return false ; } function ConfirmAndSwitch() { var agree=confirm("Are you sure you wish to restart the webserver?\r\nThis will log off all users."); if (agree) { parent.mainframe.document.location.href="restart_webserver.html"; return true ; } else return false ; } function RealignMenu(a) { parent.menuframe.document.getElementById("expander"+a).style.display="block"; } function MenuToHttp(b) { parent.menuframe.document.location.href=b; }