Revision 2e7ec527c98e5edfe38d1a86d302b061a59c065f authored by Pere Mato on 10 January 2015, 17:56:17 UTC, committed by Pere Mato on 10 January 2015, 17:56:17 UTC
1 parent b77a067
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 ...