Wow -- that's weird.

I suspect that all they had to do was reboot the server, but I don't know.

Thanks for letting us know.