Seems like that patch didn't make it to the list. Second try:
--8<---------------cut here---------------start------------->8---
From 3f37745585c5ac25584e6a4bb09bddc65fed13ee Mon Sep 17 00:00:00 2001
From: Linus Nordberg <li...@nordberg.se>
Date: Tue, 27 Feb 2018 09:31:20 +0100
Subject: [PATCH] When date header cannot be fetched, print URL too.
For easier diagnostics of failing servers.
---
sbin/htpdate | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sbin/htpdate b/sbin/htpdate
index 454ba8b..e6bae8f 100755
--- a/sbin/htpdate
+++ b/sbin/htpdate
@@ -244,7 +244,7 @@ sub getUrlDateDiff {
rmtree($tmpdir);
- defined $newestdt or error "Could not get any Date header";
+ defined $newestdt or error "Could not get any Date header from $url";
my $newest_epoch = $newestdt->epoch();
my $diff = $newest_epoch - $local;
--
2.11.0
--8<---------------cut here---------------end--------------->8---
_______________________________________________
Tails-dev mailing list
Tails-dev@boum.org
https://mailman.boum.org/listinfo/tails-dev
To unsubscribe from this list, send an empty email to
tails-dev-unsubscr...@boum.org.
