summaryrefslogtreecommitdiff
blob: bf8845e0311cc1add8ef71be6436bd8b07621fe1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
# The proofd daemon is used to startup PROOF.
service proofd
{
	disable			= no
	socket_type		= stream
	wait			= no
	user			= root
	server			= /usr/bin/proofd
	server_args		= -i
	log_on_success		+= DURATION USERID
	log_on_failure		+= USERID
}