Project

General

Profile

« Previous | Next » 

Revision 9121

lib/sh/util.sh: echo_vars(): use log() instead of manually echoing the log indent, so that the log indent string ($log_indent$PS4) doesn't have to be maintained in several different places

View differences:

lib/sh/util.sh
235 235
	inc_log_level; inc_log_level
236 236
	if can_log; then
237 237
		local var
238
		for var in "${@%%=*}"; do
239
			{ echo -n "$log_indent$PS4"; declare -p "$var";} >&2
240
		done
238
		for var in "${@%%=*}"; do log "$(declare -p "$var")"; done
241 239
	fi
242 240
}
243 241

  

Also available in: Unified diff