Revision 006c98b85d8b743848d4a89773728740c39a465b authored by Vassil Vassilev on 27 March 2014, 10:26:03 UTC, committed by Vassil Vassilev on 31 March 2014, 11:57:22 UTC
1 parent bdd1961
proofd.xinetd.in
# default: on
# description: The proofd daemon is used to startup PROOF.
service proofd
{
disable = no
socket_type = stream
wait = no
user = root
server = @bindir@/proofd
server_args = -i @prefix@
log_on_success += DURATION USERID
log_on_failure += USERID
}
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...