# default: on # description: The proofd daemon is used to startup PROOF. service proofd { disable = no socket_type = stream wait = no user = root server = $ROOTSYS/bin/proofd server_args = -i $ROOTSYS log_on_success += DURATION USERID log_on_failure += USERID }