+# Helper function to print debug information if $DEBUG is not empty.
+#
+# Doesn't fit perfectly in this file, but this is the best place to make it
+# available everywhere.
+function source_debug() {
+ if [ x$DEBUG != x ]; then
+ echo $@
+ fi
+}
+
+
function source_config() {
# Path to the file to source and its local counterpart.
local source_file=$1/$2/$3.$4
local source_file_local=$1/$3.local
# Additional debug output.
function source_config() {
# Path to the file to source and its local counterpart.
local source_file=$1/$2/$3.$4
local source_file_local=$1/$3.local
# Additional debug output.
- if [ x$DEBUG != x ]; then
- echo "source_config(): checking if $source_file exists"
- echo "source_config(): checking if $source_file_local exists"
- fi
+ source_debug "source_config(): checking if $source_file exists"
+ source_debug "source_config(): checking if $source_file_local exists"
source $source_file
# Otherwise load the .local file if it exists and .local files are
# allowed.
elif [ -f $source_file_local -a x$5 != xnolocal ]; then
source $source_file
# Otherwise load the .local file if it exists and .local files are
# allowed.
elif [ -f $source_file_local -a x$5 != xnolocal ]; then