# This option has been obsolete for some time
# Obsolete options without arguments, or with an empty argument,
# are silently ignored. So we give this option an argument.
AllowDotExit 1