########################################################################
# This configuration file is only for internal use.
# Do not edit this file manually. If you want to override any option
# use the config.conf file. Do not override any option that specifies
# (no override) in its' comment section.
# This file is *not* a Bash script.
########################################################################
TIMEOUT=15
