do not intercept ML exceptions -- printing exception positions/text is the job of the Isar/ML toplevel;
use up-to-date ML_Compiler.exn_message;
#!/usr/bin/env bash
#
# rsync server start script
/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf