Just to wrap up this question. I don’t really remember what we did to “fix” it. I’m thinking that a reboot and making sure that servermgrd was in launchd (using launchdctl) was all it took. We haven’t had any problems with it since – at least none that they told me about. 😕
