From 85dcc2958a6f092a2841b4bb232a327dbf5c30b5 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 11 Jan 2009 14:27:27 -0500 Subject: [PATCH] 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. --- IkiWiki/Plugin/pinger.pm | 2 +- debian/changelog | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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 Tue, 06 Jan 2009 15:02:52 -0500 -- 2.39.5