diff options
| author | Joey Hess <joey@gnu.kitenet.net> | 2009-01-11 14:27:27 -0500 |
|---|---|---|
| committer | Joey Hess <joey@gnu.kitenet.net> | 2009-01-11 14:27:27 -0500 |
| commit | 85dcc2958a6f092a2841b4bb232a327dbf5c30b5 (patch) | |
| tree | ba7d438b7b2f674e62423a522e225367dcec6af3 | |
| parent | 7a8ea68fc0bba9f75ba81a9547d359f42e31caa4 (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.pm | 2 | ||||
| -rw-r--r-- | debian/changelog | 1 |
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 |