added Isabelle_Process.input_bytes, which avoids the somewhat slow Standard_System.string_bytes (just in case someone wants to stream raw data at 250MB/s);
#!/usr/bin/env bash
#
# rsync server start script
/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf