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 /debian/changelog | |
| 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.
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 1 |
1 files changed, 1 insertions, 0 deletions
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 |