Kicking users?

[Jeff Mings]

Hi all,

    Is there a better way to kick users (who forget to disconnect) than 
by killing their associated processes? E.g.,  if user test is logged on, 
and  ps --User test shows
12345 tty3 bash     I can simply  use kill -9 12345 to remove the 
forgetful user.  Is there a better command for killing off users?

Thanks,

-Jeff Mings