NAME
	shutdown - shut down the gamedriver

SYNOPSIS
	void shutdown()

DESCRIPTION

NOTA BENE

SEE ALSO

CAVEAT

BUGS
