summaryrefslogtreecommitdiff
path: root/debian/.gitignore
diff options
context:
space:
mode:
authorJoey Hess <joey@gnu.kitenet.net>2009-01-11 14:27:27 -0500
committerJoey Hess <joey@gnu.kitenet.net>2009-01-11 14:27:27 -0500
commit85dcc2958a6f092a2841b4bb232a327dbf5c30b5 (patch)
treeba7d438b7b2f674e62423a522e225367dcec6af3 /debian/.gitignore
parent7a8ea68fc0bba9f75ba81a9547d359f42e31caa4 (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