[Cluster-devel] use cman_tool leave remove on shutdown/restart

[Dietmar Maurer]

> So leave remove is one option that cannot be enabled by default (it is indeed
> dangerous, even for some small corner cases, they can still
> happen) but it is there as a tool for cluster admins when necessary (and has to be
> used carefully and knowing what is happening internally).

OK, many thanks for that info.

- Dietmar