diff options
Diffstat (limited to 'infra/get-dm-txt')
-rwxr-xr-x | infra/get-dm-txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/infra/get-dm-txt b/infra/get-dm-txt index 9885f9e..02e73f0 100755 --- a/infra/get-dm-txt +++ b/infra/get-dm-txt @@ -6,9 +6,8 @@ cd ${DGIT_INFRA_GETDMTXT_DATADIR-/srv/dgit.debian.org/data} file=dm.txt server=ftp-master.debian.org path=$file -cert=/etc/ssl/certs/$server.pem -certargs="--cacert=$cert --capath=/dev/enoent" +certargs=$(git config dgit-distro.debian.archive-query-tls-curl-ca-args) with-lock-ex -f $file.lock sh -c " if ! curl $certargs \ |