Admin/rsyncd

more robust signature: avoid totally adhoc overriding (see also Build_Process.progress vs. build_progress);

#!/usr/bin/env bash
#
# rsync server start script

/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf