diff options
Diffstat (limited to 'tools')
| -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'. |