domain_nav_domainupdate($op, $domain = array(), $edit = array())
domain_nav/domain_nav.module, line 228
Implements hook_domainupdate()
function domain_nav_domainupdate($op, $domain = array(), $edit = array()) {
// Only execute if the menu is turned on.
if (DOMAIN_NAV_MENU) {
// We rebuild the menu, since the domain records have changed.
// Clear the page cache, so that changed menus are reflected for anonymous users.
cache_clear_all('*', 'cache_page', TRUE);
// Also clear the menu cache.
cache_clear_all('*', 'cache_menu', TRUE);
}
}