diff options
-rw-r--r-- | __root__/doc/rgmanager-pacemaker.00.intro.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/__root__/doc/rgmanager-pacemaker.00.intro.txt b/__root__/doc/rgmanager-pacemaker.00.intro.txt index 4e6ee5c..f42f19e 100644 --- a/__root__/doc/rgmanager-pacemaker.00.intro.txt +++ b/__root__/doc/rgmanager-pacemaker.00.intro.txt @@ -1,6 +1,6 @@ IN THE LIGHT OF RGMANAGER-PACEMAKER CONVERSION: 00/INTRO -Copyright 2014 Red Hat, Inc., Jan Pokorný <jpokorny @at@ Red Hat .dot. com> +Copyright 2016 Red Hat, Inc., Jan Pokorný <jpokorny @at@ Red Hat .dot. com> Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; @@ -56,10 +56,10 @@ and these predicates: ACTIVE(A) ... node A is active cluster member RUNNING(A, B) ... node A runs resource B (assumes B in RUNNABLE(A)) -and this oxymoron: +and this contradiction: exists A1, A2 in NODES: A1 != A2, B in RESOURCES: - RUNNING(A1, B) AND RUNNING(A1, B) + RUNNING(A1, B) AND RUNNING(A2, B) [given unique resource is expected to run on atmost a single node, we don't consider Pacemaker's clones here at all] |