summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoey Hess <joey@gnu.kitenet.net>2009-01-11 14:27:27 -0500
committerJoey Hess <joey@gnu.kitenet.net>2009-01-11 14:27:27 -0500
commit85dcc2958a6f092a2841b4bb232a327dbf5c30b5 (patch)
treeba7d438b7b2f674e62423a522e225367dcec6af3
parent7a8ea68fc0bba9f75ba81a9547d359f42e31caa4 (diff)
pinger: Get whole url, don't just head.
Asking for only the head worked in my tests, but I've found a site where it didn't -- apparently ikiwiki didn't get a chance to do or finish the refresh when HEADed. Getting the whole url, waiting for ikiwiki to finish, avoided the update problem.
-rw-r--r--IkiWiki/Plugin/pinger.pm2
-rw-r--r--debian/changelog1
2 files changed, 2 insertions, 1 deletions
diff --git a/IkiWiki/Plugin/pinger.pm b/IkiWiki/Plugin/pinger.pm
index 4a8088661..c20ecb5d4 100644
--- a/IkiWiki/Plugin/pinger.pm
+++ b/IkiWiki/Plugin/pinger.pm
@@ -106,7 +106,7 @@ sub ping {
# will still be avoided.
next if $url=~/^\Q$config{cgiurl}\E/;
- $ua->head($url);
+ $ua->get($url);
}
exit 0;
diff --git a/debian/changelog b/debian/changelog
index 13ef9afed..6772aded9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -12,6 +12,7 @@ ikiwiki (3.02) UNRELEASED; urgency=low
that take a page name parameter. Previously, match_created_before(),
match_created_after(), match_sourcepage(), and match_destpage()
did not support that, and the docs were not clear.
+ * pinger: Get whole url, don't just head.
-- Joey Hess <joeyh@debian.org> Tue, 06 Jan 2009 15:02:52 -0500