# Defaults for metaproxy # User and HOME of metaproxy daemon SERVER_HOME=/var/metaproxy SERVER_USER=metaproxy SERVER_GROUP=metaproxy SERVER_NAME="Metaproxy user" # OPTIONS="-u $SERVER_USER -l /var/log/metaproxy.log -c /etc/metaproxy/metaproxy.xml" # The following options should noe be set, because since init.d script # already sets them: -p, -D, -t