Обсуждение: How do I disconnect other users???

What is the graceful way to disconnect other users
from a database?  Is there a command that I can use
within psql or is it simply "kill $PID_OF_USER" from
the OS shell?

Thanks.

__________________________________
Do you Yahoo!?
SBC Yahoo! DSL - Now only $29.95 per month!
http://sbc.yahoo.com