load_proxy_conf() {
    db_get mirror/protocol || true
    local PROTOCOL="$RET"
    if [ "$PROTOCOL" = "http" ]; then
	db_get mirror/http/proxy
	http_proxy="$RET" || true
	if [ "$http_proxy" ]; then
	    export http_proxy
	fi
    fi
    if [ "$http_proxy" ] ; then
	logger -t lib/debian-edu-common "info: using http_proxy=$http_proxy."
    else
	logger -t lib/debian-edu-common "info: no proxy used."
    fi
}
