diff options
| -rwxr-xr-x | checkVersions | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/checkVersions b/checkVersions index c8abf1e1a..8a5d9a512 100755 --- a/checkVersions +++ b/checkVersions @@ -36,12 +36,14 @@ curl_it() { fi cat "${tmp_file}" local trials=5 - while ! mv "${tmp_file}" "${cache_file}" && \ - [ ${trials} -gt 0 ]; do + while [ ${trials} -gt 0 ] && \ + ! mv "${tmp_file}" "${cache_file}"; do sleep 1 trials=$((trials-1)) done - rm -f "${tmp_file}" + if [ ${trials} -le 0 ]; then + rm -f "${tmp_file}" + fi } me="$(readlink -f $0)" |