Part of the "Add Functionality to the Server Console" project, I am introducing a kill command...because why not!
kill <playername>
Ends the life of that player
kill *
Ends the lives of everyone on the server
/kill
Kills the player that types the command.
Copyright (c) 2013, Jonathan Price under the BSD 2-Clause License