# Default settings for gnump3d. This file is sourced by /bin/sh from
# /etc/init.d/gnump3d.

# Options to pass to the server as it starts up.
# To disable the indexing of your server upon startup use '--fast'
STARTUPOPTS=
