diff options
| author | Jan Pokorný <jpokorny@redhat.com> | 2016-01-27 21:57:57 +0100 |
|---|---|---|
| committer | Jan Pokorný <jpokorny@redhat.com> | 2016-02-01 23:54:01 +0100 |
| commit | f49ba6e5a5eccd3d32be9e07f984ad5440777322 (patch) | |
| tree | 57a595e1e1910875a08c91e7cffa7ef5c806f09e | |
| parent | 62fe2043aac9ef74f712e9cebccd8de250efe716 (diff) | |
| download | clufter-f49ba6e5a5eccd3d32be9e07f984ad5440777322.tar.gz clufter-f49ba6e5a5eccd3d32be9e07f984ad5440777322.tar.xz clufter-f49ba6e5a5eccd3d32be9e07f984ad5440777322.zip | |
doc/rgmanager-pacemaker.00.intro: fix discrepancies
Signed-off-by: Jan Pokorný <jpokorny@redhat.com>
| -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] |