From the NannyMUD documentation
2000-12-12
NAME shutdown - Shut down the gamedriver. SYNTAX void shutdown() DESCRIPTION This function should only be used in emergencies. Normally Armageddon is used to reboot the game.
shutdown - Shut down the gamedriver.
void shutdown()
This function should only be used in emergencies. Normally Armageddon is used to reboot the game.