Admin/rsyncd
author wenzelm
Thu, 07 May 2015 21:30:52 +0200
changeset 60272 4f72b00d9952
parent 36859 51af1657263b
permissions -rwxr-xr-x
no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;

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

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