index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2023-05-22 16:22:29 +0200 |
---|---|---|
committer | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2023-05-22 16:22:29 +0200 |
commit | 62f871fb25b70860364b0023745c0f31516e69d0 (patch) | |
tree | 8efdaff49293547ee945ff0d10612187a3b06594 /bin/ii-watch | |
parent | d14686b0bdc0b2418300c5d34d5f13c19988f020 (diff) |
-rwxr-xr-x | bin/ii-watch | 2 |
diff --git a/bin/ii-watch b/bin/ii-watch index ae008c4..6ae30c0 100755 --- a/bin/ii-watch +++ b/bin/ii-watch @@ -18,7 +18,7 @@ while pgrep -x 'ii' >/dev/null && \ # this avoids missing modifications during our last execution if [ "$(date +%s)" -ge ${next_connection_check} ]; then # request this more often on startup - if [ ${last_seen} -ne 0 ]; then + if [ "${last_seen}" -ne 0 ]; then next_connection_check=$(( $(date +%s) + 60*5 )) |