NAME
	shutdown - shut down the gamedriver

SYNOPSIS
	void shutdown()

DESCRIPTION
	This function should only be used in emergencies. Normally
	Armageddon is used to reboot the game.