[Linux-cluster] What's the proper way to shut down my cluster?

[Jon Erickson]

So I was wondering what the proper way to shut down a cluster is?  The
CMAN faq says to use 'cman_tool leave remove', but the Redhat docs say
to run 'service cman stop'.

Thanks.

Sources:
http://sources.redhat.com/cluster/wiki/FAQ/CMAN
http://www.redhat.com/docs/en-US/Red_Hat_Enterprise_Linux/5.2/pdf/Cluster_Administration/Cluster_Administration.pdf

-- 
Jon