Admin/rsyncd
author wenzelm
Thu, 11 Oct 2001 21:25:45 +0200
changeset 11722 78cf55fd57c6
parent 8346 562090b1f128
child 12721 226fc0e2e7e3
permissions -rwxr-xr-x
* Isar/Pure: fixed 'token_translation' command;

#!/bin/bash
#
# rsync server start script
#
# $Id$
#

rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730