
USAGE: nuke player

RESTRICTED TO ADMINISTRATORS.

Disconnect "player" from the server. (This does not affect the saved
player file, ie it does not remove the player from the player database).

NOTE: YOU SHOULD NORMALLY NEVER, EVER, USE THIS!

SEE ALSO: aban

