diff options
author | Linus Nordberg <linus@nordu.net> | 2016-12-01 13:10:07 +0100 |
---|---|---|
committer | Linus Nordberg <linus@nordu.net> | 2016-12-01 13:10:07 +0100 |
commit | 41960e65d1e2904987d590e384d9e60ba1824e4d (patch) | |
tree | 49ffe6533b2263dae47524bc8fa949201a04060f | |
parent | 2fd16de0f29487b4b55d50631daf728953336db8 (diff) |
Documentation changes.
-rwxr-xr-x | tools/merge_sth.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/merge_sth.py b/tools/merge_sth.py index c4220dc..2184af1 100755 --- a/tools/merge_sth.py +++ b/tools/merge_sth.py @@ -122,9 +122,10 @@ def main(): found. Read tree sizes from the backup.<secondary> files, put them in a - list and sort the list. Let new tree size be list[backup-quorum]. If - the new tree size is smaller than the currently published tree size, - stop here. + list and sort the list in falling tree size order. + + Let new tree size be list[backup-quorum]. If the new tree size is + smaller than the currently published tree size, stop here. Decide on a timestamp, build an STH and write it to 'sth'. |