Rollup merge of #90928 - Mark-Simulacrum:fix-date-logging, r=pietroalbini

Use a different server for checking clock drift

The detectportal.firefox.com server seems to return a random-ish date; for
example I see the following across 5 curl's done consecutively locally, where
the real date is approximately 15 Nov 2021 06:36 UTC.

Date: Mon, 15 Nov 2021 13:34:53 GMT
Date: Mon, 15 Nov 2021 12:20:21 GMT
Date: Mon, 15 Nov 2021 00:06:47 GMT
Date: Mon, 15 Nov 2021 17:14:33 GMT
Date: Mon, 15 Nov 2021 13:33:21 GMT
This commit is contained in:
Yuki Okushi 2021-11-16 15:59:43 +09:00 committed by GitHub
commit 3c1d5779ae
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -117,7 +117,7 @@ datecheck() {
echo -n " local time: " echo -n " local time: "
date date
echo -n " network time: " echo -n " network time: "
curl -fs --head http://detectportal.firefox.com/success.txt | grep ^Date: \ curl -fs --head http://ci-caches.rust-lang.org | grep ^Date: \
| sed 's/Date: //g' || true | sed 's/Date: //g' || true
echo "== end clock drift check ==" echo "== end clock drift check =="
} }