Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/check-mirrors
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2023-07-14 22:33:43 +0200
committerErich Eckner <git@eckner.net>2023-07-14 22:33:43 +0200
commit13af83a6753d7d4423c1669e941f3fea53a58000 (patch)
treebdf07a643971c922ed6585589b434a405eb4069d /bin/check-mirrors
parentddf0be8a7d00ad20f9dd73e244cf50c6baf779f2 (diff)
mysql_run(): improve retry mechanism
* try 15 times instead of 10 * increase time interval from trial to trial, hopefully hitting an empty spot sometime
Diffstat (limited to 'bin/check-mirrors')
0 files changed, 0 insertions, 0 deletions