]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/commit
projects / git.ikiwiki.info.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a8ea68) | patch
pinger: Get whole url, don't just head.
authorJoey Hess <joey@gnu.kitenet.net>
Sun, 11 Jan 2009 19:27:27 +0000 (14:27 -0500)
committerJoey Hess <joey@gnu.kitenet.net>
Sun, 11 Jan 2009 19:27:27 +0000 (14:27 -0500)
commit85dcc2958a6f092a2841b4bb232a327dbf5c30b5
treeba7d438b7b2f674e62423a522e225367dcec6af3tree | snapshot
parent7a8ea68fc0bba9f75ba81a9547d359f42e31caa4commit | 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.
IkiWiki/Plugin/pinger.pm diff | blob | history
debian/changelog diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.