diff options
author | Erich Eckner <git@eckner.net> | 2020-01-13 10:04:40 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-01-13 10:04:40 +0100 |
commit | fbf51f6703c5cdb1d722f3d4c2c661b7a57f9533 (patch) | |
tree | 23eb870661a167ff23d2b36518a9d687cb4224b8 | |
parent | c1128c9b7605a9f59739faab9e0d1a6a3800db61 (diff) | |
download | builder-fbf51f6703c5cdb1d722f3d4c2c661b7a57f9533.tar.xz |
bin/nit-picker: throttle output some more
-rwxr-xr-x | bin/nit-picker | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/nit-picker b/bin/nit-picker index 287d48b..d66e82e 100755 --- a/bin/nit-picker +++ b/bin/nit-picker @@ -514,6 +514,9 @@ while pgrep -x ii >/dev/null \ "$(date -I -d@"${expiration}")" \ "${expiration_days}" \ | local_irc_say + if [ $# -eq 0 ]; then + sleep 60 + fi fi done done @@ -569,6 +572,9 @@ while pgrep -x ii >/dev/null \ s/^\S\+ /parts of \0are in different repositories: / ' \ | local_irc_say + if [ $# -eq 0 ]; then + sleep 60 + fi fi ;; *) |