summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordu.net>2016-12-01 13:10:07 +0100
committerLinus Nordberg <linus@nordu.net>2016-12-01 13:10:07 +0100
commit41960e65d1e2904987d590e384d9e60ba1824e4d (patch)
tree49ffe6533b2263dae47524bc8fa949201a04060f
parent2fd16de0f29487b4b55d50631daf728953336db8 (diff)
Documentation changes.
-rwxr-xr-xtools/merge_sth.py7
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'.