Package list debian-goodies / ed157f2
dman: use the dyn.manpages.debian.org alias to speed up requests we would hit the redirector anyways because we don't have the exact path (which requires the binary package name) so this optimization makes sense. Antoine Beaupré 4 years ago
2 changed file(s) with 3 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
22 * dman: Offload suite and locale resolution to debiman. This optimizes the
33 case where there is a typo or no actual manpage, as we only do one hit
44 on the webserver.
5 * dman: use the dyn.manpages.debian.org alias to speed up requests even
6 more
57
68 -- Antoine Beaupré <anarcat@debian.org> Wed, 07 Jun 2017 16:14:49 -0400
79
6060 LOCDOT=".en"
6161 fi
6262
63 BASE_URL="https://manpages.debian.org"
63 BASE_URL="https://dyn.manpages.debian.org"
6464
6565 mandir=`mktemp --tmpdir="${TMPDIR:-/tmp}" -d dman.XXXXXX`
6666 trap "rm -rf $mandir" EXIT HUP INT QUIT TERM