From e133280625b4f3214ab1c792bd0fb511e0dcfb2d Mon Sep 17 00:00:00 2001 From: Linus Nordberg Date: Thu, 17 Nov 2016 10:36:34 +0100 Subject: Add a bit of documentation. --- tools/merge_dist.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'tools/merge_dist.py') diff --git a/tools/merge_dist.py b/tools/merge_dist.py index ded25a1..6582eff 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 import base64 -- cgit v1.1