diff options
Diffstat (limited to 'tools/merge_dist.py')
-rwxr-xr-x | tools/merge_dist.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/merge_dist.py b/tools/merge_dist.py index 2af1d6c..a9b5c60 100755 --- a/tools/merge_dist.py +++ b/tools/merge_dist.py @@ -3,7 +3,10 @@ # # Copyright (c) 2014-2015, NORDUnet A/S. # See LICENSE for licensing information. - +# +# Distribute the 'sth' file and all missing entries to all frontend nodes. +# See catlfish/doc/merge.txt for more about the merge process. +# import sys import json from time import sleep |