web: replace %20 with space after download

share/eterbuild/functions/web

@@ -15,6 +15,13 @@ download_url()
 	which wget >/dev/null || fatal "Can't download, wget command is missed"
 	# NOTE: disable cert checking
 	a= wget --no-check-certificate -c -t 1 -T 30 "$1"
+	local RET=$?
+
+	# HACK: wget replaced %20 with space after download
+	local NAME=$(basename $1)
+	local SPACEDNAME=$(basename $1 | sed -e "s/%20/ /g")
+	[ "$SPACEDNAME" != "$NAME" ] && mv -f "$SPACEDNAME" "$NAME"
+	return $RET
 }
 
 check_url()