NAME
	do_command - perform a command

SYNOPSIS
	static void do_command(string str)


DESCRIPTION
	This function is called in an object doing a command str.
	This_player() and genuine_command() will be set correctly.

	If config.h defines MUDOS_COMMAND, this function will not exist,
	neither be called.

SEE ALSO
	efun/command/
