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.
# will still be avoided.
next if $url=~/^\Q$config{cgiurl}\E/;
# will still be avoided.
next if $url=~/^\Q$config{cgiurl}\E/;
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.
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
-- Joey Hess <joeyh@debian.org> Tue, 06 Jan 2009 15:02:52 -0500