(function() {
var toc =  [{"name":"Managing Servers from the Remote Server Discovery Page","type":"item","url":"content/v10563015.html"},{"name":"Adding Managed Servers","type":"item","url":"content/v10563065.html"},{"name":"Removing Managed Servers","type":"item","url":"content/v10563085.html"},{"name":"Manually Discovering Servers","type":"item","url":"content/v22555636.html"},{"name":"Alert Settings","type":"item","url":"content/v8315750.html"},{"name":"Setting Up the Email Server","type":"item","url":"content/v8169797.html"},{"name":"Adding Email Addresses of Recipients of Alert Notifications","type":"item","url":"content/v8170020.html"}];
window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });
})();