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/.gitignore | |
| 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/.gitignore')
0 files changed, 0 insertions, 0 deletions