"*** Server shutdown by Raptor (#6319): I made a boo-boo and need to reboot. ***"
.